scientific article; zbMATH DE number 1189063

MaRDI QIDQ3838765zbMATH OpenFDO

Authors Sébastien Limet, Pierre Réty

Publication date 4 February 1999

zbMATH Keywords

disunificationE-unificationterm rewritingtree tuple synchronised grammars

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• On solving equations and disequations
• scientific article; zbMATH DE number 4089518
• Narrowing based procedures for equational disunification

Cited in

(3)

• Solving word equations modulo partial commutations
• Unification modulo lists with reverse relation with certain word equations
• On solving equations and disequations

Describes a project that uses

Uses Software

• BABEL

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