Ésik, Zoltán
-
BRICS Report Series No. 27 (2000): RS-27 Inductive * -Semirings - Articles
Inductive * -Semirings
Abstract PDF -
BRICS Report Series No. 38 (2001): RS-38 Free De Morgan Bisemigroups and Bisemilattices - Articles
Free De Morgan Bisemigroups and Bisemilattices
Abstract PDF -
BRICS Report Series No. 44 (2002): RS-44 Higher Dimensional Automata - Articles
Higher Dimensional Automata
Abstract PDF -
BRICS Report Series No. 46 (2002): RS-46 Greibach Normal Form in Algebraically Complete Semirings - Articles
Greibach Normal Form in Algebraically Complete Semirings
Abstract PDF -
BRICS Report Series No. 47 (2002): RS-47 Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators - Articles
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators
Abstract PDF -
BRICS Report Series No. 28 (2003): RS-28 Regular Languages Definable by Lindström Quantifiers - Articles
Regular Languages Definable by Lindström Quantifiers
Abstract PDF -
BRICS Report Series No. 24 (2001): RS-24 Automata on Series-Parallel Biposets - Articles
Automata on Series-Parallel Biposets
Abstract PDF -
BRICS Report Series No. 20 (2002): RS-20 Regular Languages Definable by Lindström Quantifiers (Preliminary Version) - Articles
Regular Languages Definable by Lindström Quantifiers (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 42 (2001): RS-42 Rationally Additive Semirings - Articles
Rationally Additive Semirings
Abstract PDF -
BRICS Report Series No. 53 (2001): RS-53 Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata - Articles
Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata
Abstract PDF -
BRICS Report Series No. 25 (2000): RS-25 Continuous Additive Algebras and Injective Simulations of Synchronization Trees - Articles
Continuous Additive Algebras and Injective Simulations of Synchronization Trees
Abstract PDF -
BRICS Report Series No. 22 (2001): RS-22 The Equational Theory of Fixed Points with Applications to Generalized Language Theory - Articles
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
Abstract PDF -
BRICS Report Series No. 21 (2002): RS-21 Formal Tree Series - Articles
Formal Tree Series
Abstract PDF -
BRICS Report Series No. 6 (2002): RS-6 Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) - Articles
Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)
Abstract PDF -
BRICS Report Series No. 33 (1999): RS-33 The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis - Articles
The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis
Abstract PDF -
BRICS Report Series No. 21 (2001): RS-21 Equational Theories of Tropical Semirings - Articles
Equational Theories of Tropical Semirings
Abstract PDF -
BRICS Report Series No. 28 (2001): RS-28 A Fully Equational Proof of Parikh's Theorem - Articles
A Fully Equational Proof of Parikh's Theorem
Abstract PDF -
BRICS Report Series No. 22 (1999): RS-22 On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers - Articles
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
Abstract PDF -
BRICS Report Series No. 19 (2002): RS-19 An Extension Theorem with an Application to Formal Tree Series - Articles
An Extension Theorem with an Application to Formal Tree Series
Abstract PDF -
BRICS Report Series No. 39 (2002): RS-39 Some Remarks on Regular Words - Articles
Some Remarks on Regular Words
Abstract PDF -
BRICS Report Series No. 41 (2002): RS-41 Axiomatizing Omega and Omega-op Powers of Words - Articles
Axiomatizing Omega and Omega-op Powers of Words
Abstract PDF