On local modularity and interpolation in entailment systems
Information Processing Letters
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Logical systems for structured specifications
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
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
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
The Extensibility of Maude's Module Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Amalgamation in CASL via Enriched Signatures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Institution-independent ultraproducts
Fundamenta Informaticae
Structured theories and institutions
Theoretical Computer Science
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Category-based constraint logic
Mathematical Structures in Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Interpolation in Grothendieck institutions
Theoretical Computer Science
Herbrand theorems in arbitrary institutions
Information Processing Letters
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Science of Computer Programming
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
A categorical study on the finiteness of specifications
Information Processing Letters
A semantic approach to interpolation
Theoretical Computer Science
Formal Properties of Modularisation
Modular Ontologies
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mathematical Logic for Life Science Ontologies
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Order-sorted parameterization and induction
Semantics and algebraic specification
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
A semantic approach to interpolation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Interpolation for predefined types
Mathematical Structures in Computer Science
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
An axiomatic approach to structuring specifications
Theoretical Computer Science
Compositional modelling and reasoning in an institution for processes and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
Institution-independent Ultraproducts
Fundamenta Informaticae
On the algebraic semantics of reactive rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Comorphisms of structured institutions
Information Processing Letters
Parameterisation for abstract structured specifications
Theoretical Computer Science
Hi-index | 0.01 |