Publication:3979263
From MaRDI portal
zbMath0735.68047MaRDI QIDQ3979263
Rémi Gilleron, Jean-Luc Coquidé
Publication date: 26 June 1992
68Q42: Grammars and rewriting systems
Related Items
Decidable call by need computations in term rewriting (extended abstract), Verification of well-formed communicating recursive state machines, Decidable call-by-need computations in term rewriting, Derivation trees of ground term rewriting systems.