(1 - 4 von 5
)
PR – Workshop on Proof Theory and Rewriting | Events |...
cl-informatik.uibk.ac.at
Clemens Grabmayer (VU Amsterdam, Netherlands) Regular Expressions Under the Process Interpretation ; Stefan Blom (University of Innsbruck, Austria)
LICS Newsletter 140
lics.siglog.org
Clemens Grabmayer, Utrecht University, the Netherlands Wolfram Kahl, McMaster University, Canada ...
sortiert nach Relevanz / Datum