Personensuche
X
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
A Complete Proof System for 1-Free Regular Expressions Modu..:
, In:
?
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
2
Regularity Preserving but Not Reflecting Encodings:
, In:
?
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming ,
4
Maximal sharing in the Lambda calculus with letrec:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
5
Automatic Sequences and Zip-Specifications:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
13