Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Grabmayer, Clemens
5  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

A Complete Proof System for 1-Free Regular Expressions Modu..:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Grabmayer, Clemens ; Fokkink, Wan - p. 465-478 , 2020
Link: https://dl.acm.org/doi/1..
 
?
2

Regularity Preserving but Not Reflecting Encodings:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Endrullis, Jorg ; Grabmayer, Clemens ; Hendriks, Dimitri - p. 535-546 , 2015
Link: https://dl.acm.org/doi/1..
 
?
3

Maximal sharing in the Lambda calculus with letrec:

, In: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming,
Grabmayer, Clemens ; Rochel, Jan - p. 67-80 , 2014
Link: https://dl.acm.org/doi/1..
 
?
4

Automatic Sequences and Zip-Specifications:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
Grabmayer, Clemens ; Endrullis, Jorg ; Hendriks, Dimitri.. - p. 335-344 , 2012
Link: https://dl.acm.org/doi/1..
 
?
5

Milner's Proof System for Regular Expressions Modulo Bisimi..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Grabmayer, Clemens Armin - p. 1-13 , 2022
Link: https://dl.acm.org/doi/1..
 
1-5