Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Theoretical Computer Science
Functorial Semantics for Multi-algebras
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
The structure of first-order causality
Mathematical Structures in Computer Science
| Hi-index | 0.00 |