scientific article; zbMATH DE number 785049

MaRDI QIDQ4842538zbMATH OpenFDO

Authors Jean-Pierre Jouannaud

Publication date 14 August 1995

zbMATH Keywords

equational logicrewriting techniquestree automata

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 50648
• scientific article; zbMATH DE number 4155899
• scientific article; zbMATH DE number 1368955
• scientific article; zbMATH DE number 177826
• Computing with rewrite systems

Cited in

(12)

• Composing proof terms
• Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday.
• Rewriting Induction + Linear Arithmetic = Decision Procedure
• scientific article; zbMATH DE number 8327 (Why is no real title available?)
• scientific article; zbMATH DE number 50648 (Why is no real title available?)
• Rewrite systems for natural, integral, and rational arithmetic
• scientific article; zbMATH DE number 2090037 (Why is no real title available?)
• Rewriting, inference, and proof
• Proving and rewriting
• Interaction nets and term rewriting systems (extended abstract)
• Collapsed tree rewriting: Completeness, confluence, and modularity
• Proving structural properties of sequent systems in rewriting logic

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 Q4842538)