Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards an Evolutionary Formal Software-Development Using CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
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
System Description: inka 5.0 - A Logic Voyager
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Management of Change in Structured Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Abstracting refinements for transformation
Nordic Journal of Computing
Structured formal development in Isabelle
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Crystal: Integrating Structured Queries into a Tactic Language
Journal of Automated Reasoning
Interpretation of locales in isabelle: theories and proof contexts
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Engineering mathematical knowledge
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Enhanced theorem reuse by partial theory inclusions
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Specification of an ontology for route graphs
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Management of change in declarative languages
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Information and Computation
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |