Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
A Modal Formulation of McCain and Turner's Theory of Causal Reasoning
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
A proof theory for generic judgments
ACM Transactions on Computational Logic (TOCL)
A Logic for Reasoning about Generic Judgments
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Role of Names in Reasoning about λ-tree Syntax Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Reasoning about computations using two-levels of logic
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
| Hi-index | 0.03 |