ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Greibach Normal Form in Algebraically Complete Semirings
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
On the equational definition of the least prefixed point
Theoretical Computer Science - Mathematical foundations of computer science
Substructural logic and partial correctness
ACM Transactions on Computational Logic (TOCL)
Equational theories of tropical semirings
Theoretical Computer Science - Foundations of software science and computation structures
On the complexity of reasoning in Kleene algebra
Information and Computation - Special issue: LICS'97
The multiplicative fragment of the Yanov equational theory
Theoretical Computer Science
A note on an expressiveness hierarchy for multi-exit iteration
Information Processing Letters
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)
Mathematical Structures in Computer Science
Theoretical Computer Science - Words, languages and combinatorics
Axiomatizing the identities of binoid languages
Theoretical Computer Science
On Finite Model Property of the Equational Theory of Kleene Algebras
Fundamenta Informaticae
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
Untyping typed algebraic structures and colouring proof nets of cyclic linear logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Partial conway and iteration semiring-semimodule pairs
Algebraic Foundations in Computer Science
An efficient coq tactic for deciding kleene algebras
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
The language, the expression, and the (small) automaton
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Automated analysis of regular algebra
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Partial Conway and Iteration Semirings
Fundamenta Informaticae
On Finite Model Property of the Equational Theory of Kleene Algebras
Fundamenta Informaticae
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
On completeness of omega-regular algebras
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
| Hi-index | 5.23 |