Equational Axioms for Probabilistic Bisimilarity
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
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
On the equational definition of the least prefixed point
Theoretical Computer Science - Mathematical foundations of computer science
Complete Axioms for Categorical Fixed-Point Operators
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in 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)
Theoretical Computer Science - Words, languages and combinatorics
Axiomatizing the identities of binoid languages
Theoretical Computer Science
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Partial Conway and Iteration Semirings
Fundamenta Informaticae
Axiomatizing rational power series over natural numbers
Information and Computation
Iteration Grove Theories with Applications
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Partial conway and iteration semiring-semimodule pairs
Algebraic Foundations in Computer Science
Kleene theorem in partial conway theories with applications
Algebraic Foundations in Computer Science
Partial Conway and Iteration Semirings
Fundamenta Informaticae
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
A Connection Between Concurrency and Language Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |