First-Order Terms

MaRDI QIDQ7361840FDO

Authors Christian Sternagel, René Thiemann

Publication date 6 February 2018

Cites work

• Certification of Termination Proofs Using CeTA

Cited in

(12)

• Undecidability Results on Orienting Single Rewrite Rules
• Compactness Theorem for First-Order Logic
• A Formalization of Knuth–Bendix Orders
• First-Order Rewriting
• A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover
• Sorted Terms
• First Order Clause
• Stateful Protocol Composition and Typing
• Extensions to the Comprehensive Framework for Saturation Theorem Proving
• A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic
• The Resolution Calculus for First-Order Logic
• Abstract Substitution

This page was built for software: First-Order Terms