Logics Admitting Final Semantics
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Modal operators and the formal dual of Birkhoff's completeness theorem
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Operations and equations for coalgebras
Mathematical Structures in Computer Science
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
| Hi-index | 5.24 |