Rewriting, Inference, and Proof

DOI10.1007/978-3-642-16310-4_1zbMath1306.68089OpenAlexW1512508612MaRDI QIDQ4933274

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

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

Uses Software

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

This page was built for publication: Rewriting, Inference, and Proof