Publication:4942651
From MaRDI portal
zbMath0941.68599MaRDI QIDQ4942651
Florent Jacquemard, Hubert Comon
Publication date: 16 March 2000
68Q42: Grammars and rewriting systems
Related Items
Multitree automata that count, Ground reducibility is EXPTIME-complete, Specification and proof in membership equational logic