Rewriting, inference, and proof

DOI10.1007/978-3-642-16310-4_1MaRDI QIDQ4933274zbMATH OpenOpenAlexFDO

Authors Natarajan Shankar

Publication date 12 October 2010

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16310-4_1

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 785049
• A rewriting approach to satisfiability procedures.
• scientific article; zbMATH DE number 1722694
• Equational inference, canonical proofs, and proof orderings
• Mechanizing Mathematical Reasoning

Cited in

(5)

• A rewriting approach to satisfiability procedures.
• Rewriting with linear inferences in propositional logic
• scientific article; zbMATH DE number 1303983 (Why is no real title available?)
• Proof Terms for Infinitary Rewriting
• Rewriting Techniques and Applications

Describes a project that uses

Uses Software

• ELAN
• Isabelle
• PicoSAT
• Coq
• Maude
• PVS
• Yices
• OBJ3
• HOL
• Nuprl

This page was built for publication: Rewriting, inference, and proof

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