Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Integrating Web Services into Active Mathematical Documents
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
A practical module system for LF
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Towards MKM in the large: modular representation and scalable software architecture
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
Towards logical frameworks in the heterogeneous tool set hets
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A query language for formal mathematical libraries
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Management of change in declarative languages
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
The planetary project: towards emath3.0
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
The Mizar Mathematical Library in OMDoc: Translation and Applications
Journal of Automated Reasoning
Information and Computation
The MMT API: a generic MKM system
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Logical relations for a logical framework
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |