Géraud Sénizergues
-
Decidable Theories of Cayley-Graphs
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Context-free pairs of groups I: Context-free pairs and graphs
European Journal of Combinatorics