scientific article; zbMATH DE number 1540615

MaRDI QIDQ4519871zbMATHFDO

Authors

Publication date 4 December 2000

zbMATH Keywords

decision processterm rewriting rules

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 868104
• Automated modular termination proofs for real Prolog programs
• scientific article; zbMATH DE number 3956408
• A new technique for verifying and correcting logic programs
• Automatic constrained rewriting induction towards verifying procedural programs

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