zbMath0943.68096MaRDI QIDQ4938629
Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes
Publication date: 23 February 2000
zbMATH Keywords
decidability
Mathematics Subject Classification ID
03B25: Decidability of theories and sets of sentences
68Q42: Grammars and rewriting systems
Related Items