scientific article
From MaRDI portal
Publication:3979263
zbMath0735.68047MaRDI QIDQ3979263
Rémi Gilleron, Jean-Luc Coquidé
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Verification of well-formed communicating recursive state machines ⋮ Decidable call-by-need computations in term rewriting ⋮ Decidable call by need computations in term rewriting (extended abstract) ⋮ Derivation trees of ground term rewriting systems.
This page was built for publication: