A description of the tableau method using abstract state machines
From MaRDI portal
Publication:4365324
DOI10.1093/logcom/7.5.659zbMath0889.03009MaRDI QIDQ4365324
Publication date: 4 November 1997
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/ccaafc769df69289e49d46e98ed1c58bdcdea352
abstract state machines; tableau calculus; tableaux method; evolving algebras; PROLOG implementation
03B70: Logic in computer science
03B35: Mechanization of proofs and logical operations
68N17: Logic programming
03F99: Proof theory and constructive mathematics