Journals in DBLP
Bernhard Beckert , Lawrence C. Paulson Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Roger Antonsen , Arild Waaler Liberalized Variable Splitting. [Citation Graph (0, 0)][DBLP ] Journal ] Domenico Cantone , Marianna Nicolosi Asmundo A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP ] Journal ] Swen Jacobs , Uwe Waldmann Comparing Instance Generation Methods for Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Journal ] Reinhold Letz , Gernot Stenz The Disconnection Tableau Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Giese Superposition-based Equality Handling for Analytic Tableaux. [Citation Graph (0, 0)][DBLP ] Journal ] Neil V. Murray , Erik Rosenthal Efficient Query Processing with Reduced Implicate Tries. [Citation Graph (0, 0)][DBLP ] Journal ] Davide Bresolin , Angelo Montanari , Guido Sciavicco An Optimal Decision Procedure for Right Propositional Neighborhood Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Dominique Larchey-Wendling Graph-based Decision for Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Carsten Lutz , Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. [Citation Graph (0, 0)][DBLP ] Journal ] Thomas Raths , Jens Otten , Christoph Kreitz The ILTP Problem Library for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Journal ] 