Automated Reasoning
From MaRDI portal
Publication:5307065
DOI10.1007/b98691zbMath1126.03304MaRDI QIDQ5307065
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
05C38: Paths and cycles
03B35: Mechanization of proofs and logical operations
05C85: Graph algorithms (graph-theoretic aspects)
03B55: Intermediate logics
Related Items
Optimization in temporal qualitative constraint networks, A family of Gödel hybrid logics, Graph-based decision for Gödel-Dummett logics, Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus, Labelled Calculi for Łukasiewicz Logics