scientific article; zbMATH DE number 65745

MaRDI QIDQ4010356zbMATH OpenFDO

Authors Jean Gallier, Wayne Snyder

Publication date 27 September 1992

zbMATH Keywords

surveyunificationtransformations on term systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 8800
• Improving transformation systems for general E-unification
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Systematic design of program transformation frameworks by abstract interpretation
• scientific article; zbMATH DE number 1949632
• Complete sets of transformations for general E-unification
• Synthesis and transformation of logic programs using unfold/fold proofs
• Transformations and confluence for rewrite systems

Cited in

(2)

• Improving transformation systems for general E-unification
• scientific article; zbMATH DE number 475429 (Why is no real title available?)

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