Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Using Linear Logic to Reason about Sequent Systems
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Information and Computation
Handbook of automated reasoning
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A new framework for declarative programming
Theoretical Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
A proof theory for generic judgments
ACM Transactions on Computational Logic (TOCL)
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning
Specifying Properties of Concurrent Computations in CLF
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
| Hi-index | 0.00 |