Iteration Theories of Boolean Functions
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Is observational congruence on μ-expressions axiomatisable in equational Horn logic?
Information and Computation
Is observational congruence axiomatisable in equational horn logic?
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |