Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Indexed Categories and Bottom-Up Semantics of Logic Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A new framework for declarative programming
Theoretical Computer Science
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Hi-index | 0.00 |