Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
A description of competing fusion systems
Information Fusion
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph rewriting in span-categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Model transformation and induced instance migration: a universal framework
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
The Topos of Labelled Trees: A Categorical Semantics for SCCS
Fundamenta Informaticae
Refined graph rewriting in span-categories: a framework for algebraic graph transformation
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
| Hi-index | 0.00 |