WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Stratified institutions and elementary homomorphisms
Information Processing Letters
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Three semantics for the core of the distributed ontology language (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |