Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
Taxonomic syntax for first order inference
Journal of the ACM (JACM)
Automatic recognition of tractability in inference relations
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Polynomial-time computation via local inference relations
ACM Transactions on Computational Logic (TOCL)
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Mitre-Bedford: description of the Alembic system as used for MUC-5
MUC5 '93 Proceedings of the 5th conference on Message understanding
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Natural language based inference procedures applied to schubert's steamroller
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
A multivalued language with a dependent type system
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming
| Hi-index | 0.00 |