System description: RDL: Rewrite and Decision procedure Laboratory

DOI10.1007/3-540-45744-5_54MaRDI QIDQ4539649zbMATH OpenFDO

Authors Alessandro Armando, Luca Compagna, Silvio Ranise

Publication date 10 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830663

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Mechanizing Mathematical Reasoning
• A rewrite rule based framework for combining decision procedures (preliminary draft)
• Rewriting, induction and decision procedures: A case study of Presburger arithmetic
• New results on rewrite-based satisfiability procedures
• A practical integration of first-order reasoning and decision procedures

Cited in

(5)

• Constraint contextual rewriting.
• A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
• RDL
• Termination of constraint contextual rewriting
• Mechanizing Mathematical Reasoning

Describes a project that uses

Uses Software

• ACL2

This page was built for publication: System description: RDL: Rewrite and Decision procedure Laboratory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539649)