scientific article; zbMATH DE number 19765

MaRDI QIDQ3979263zbMATH OpenFDO

Authors Jean-Luc Coquidé, Rémi Gilleron

Publication date 26 June 1992

zbMATH Keywords

tree automatatree languagesreachability problemsderivation proofs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4043235
• A Completion Method to Decide Reachability in Rewrite Systems
• Termination proofs for ground rewrite systems -- interpretations and derivational complexity
• Reachability in conditional term rewriting systems
• scientific article; zbMATH DE number 176501

Cited in

(9)

• Basic rewriting via logic programming, with an application to the reachability problem
• Decidable call-by-need computations in term rewriting
• Verification of well-formed communicating recursive state machines
• scientific article; zbMATH DE number 2081116 (Why is no real title available?)
• scientific article; zbMATH DE number 4043235 (Why is no real title available?)
• Senescent ground tree rewrite systems
• Decidable call by need computations in term rewriting (extended abstract)
• Reachability problems on regular ground tree rewriting graphs
• Derivation trees of ground term rewriting systems.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3979263)