scientific article; zbMATH DE number 65745

zbMATH Open0754.03010MaRDI QIDQ4010356FDOQ4010356

Authors: Jean Gallier, Wayne Snyder 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Title not available (Why is that?)
• Improving transformation systems for general E-unification

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)