MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
CASL: the common algebraic specification language
Theoretical Computer Science
Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Maintenance of Formal Software Developments by Stratified Verification
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Towards Trustworthy Specifications I: Consistency Checks
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Proof Transformations for Evolutionary Formal Software Development
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
The Development Graph Manager MAYA
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Towards an Evolutionary Formal Software Development
Proceedings of the 16th IEEE international conference on Automated software engineering
A practical module system for LF
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Representing Model Theory in a Type-Theoretical Logical Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
A case study on formalizing algebra in a module system
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
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
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Towards logical frameworks in the heterogeneous tool set hets
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Management of change in declarative languages
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Information and Computation
Hi-index | 0.00 |