Taut Monads, Dynamic Logic and Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Boolean and classical restriction categories
Mathematical Structures in Computer Science
On the representation of kleene algebras with tests
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Investigating finite models of non-classical logics with relation algebra and RELVIEW
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Hi-index | 0.00 |