The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Proof Search and Counter Model of Positive Minimal Predicate Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Stratified Composition of Web Services
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
Journal of Logic, Language and Information
Automating theories in intuitionistic logic
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Logic of infons: The propositional case
ACM Transactions on Computational Logic (TOCL)
DKAL and Z3: a logic embedding experiment
Fields of logic and computation
Termination of grounding is not preserved by strongly equivalent transformations
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Distributional learning of abstract categorial grammars
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Basic constructive connectives, determinism and matrix-based semantics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Proof analysis in intermediate logics
Archive for Mathematical Logic
Calculus of cooperation and game-based reasoning about protocol privacy
ACM Transactions on Computational Logic (TOCL)
The gödel-tarski translations of intuitionistic propositional formulas
Correct Reasoning
Minimal change: Relevance and recovery revisited
Artificial Intelligence
Abstract Hilbertian deductive systems, infon logic, and Datalog
Information and Computation
Hi-index | 0.00 |