Search for persons
X
?
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 Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
3
On periodically iterated morphisms:
, 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 17th ACM SIGPLAN international conference on Functional programming ,
7