Equational Axioms for Probabilistic Bisimilarity
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Axiomatizing the Least Fixed Point Operation and Binary Supremum
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Iteration Theories of Boolean Functions
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Recursion and corecursion have the same equational logic
Theoretical Computer Science - Category theory and computer science
The multiplicative fragment of the Yanov equational theory
Theoretical Computer Science
An extension theorem with an application to formal tree series
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Axiomatizing rational power series over natural numbers
Information and Computation
Regular and algebraic words and ordinals
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
A Connection Between Concurrency and Language Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.23 |