Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554MaRDI QIDQ5479271zbMATH OpenOpenAlexFDO

Authors Domenico Cantone, Calogero G. Zarba

Publication date 7 July 2006

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

Full work available at URL https://doi.org/10.1007/11554554

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Directed graphs (digraphs), tournaments (05C20)

Recommendations

• scientific article; zbMATH DE number 4053563
• Reachability is harder for directed than for undirected finite graphs
• scientific article; zbMATH DE number 2086614
• Tableau-based reasoning for graph properties
• scientific article; zbMATH DE number 1435945

Cited in

(3)

• scientific article; zbMATH DE number 4053563 (Why is no real title available?)
• scientific article; zbMATH DE number 4101136 (Why is no real title available?)
• The decision problem for undirected graphs with reachability and acyclicity

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods

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