Personensuche
X
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Milner's Proof System for Regular Expressions Modulo Bisimi..:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
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) ,
3
Regularity Preserving but Not Reflecting Encodings:
, In:
?
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming ,
5
Maximal sharing in the Lambda calculus with letrec:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
6