scientific article; zbMATH DE number 1540615

zbMATH Open0956.68071MaRDI QIDQ4519871FDOQ4519871

Authors:

Publication date: 4 December 2000

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

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

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)

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)