Word Processing in Groups
Automatic Presentations of Structures
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Automatic Structures: Richness and Limitations
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Automatic linear orders and trees
ACM Transactions on Computational Logic (TOCL)
The Isomorphism Problem on Classes of Automatic Structures
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |