 | 2010 |
|---|
| 154 |       | Stephen L. Bloom,
Zoltán Ésik:
Algebraic Linear Orderings
CoRR abs/1002.1624: (2010) |
| 153 | | Stephen L. Bloom,
Zoltán Ésik:
A Mezei-Wright theorem for categorical algebras.
Theor. Comput. Sci. 411(2): 341-359 (2010) |
| 152 | | Erzsébet Csuhaj-Varjú,
Zoltán Ésik:
Preface.
Theor. Comput. Sci. 411(4-5): 701 (2010) |
| 2009 |
|---|
| 151 |  | Zoltán Ésik,
Zoltán Fülöp:
Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday
Institute of Informatics, University of Szeged, Hungary 2009 |
| 150 | | Stephen L. Bloom,
Zoltán Ésik,
Werner Kuich:
Cycle-Free Finite Automata in Partial Iterative Semirings.
CAI 2009: 1-12 |
| 149 | | Zoltán Ésik,
T. Hajgató:
Iteration Grove Theories with Applications.
CAI 2009: 227-249 |
| 148 | | Zoltán Ésik,
Szabolcs Iván:
Context-Free Languages of Countable Words.
ICTAC 2009: 185-199 |
| 147 | | Stephen L. Bloom,
Zoltán Ésik:
Algebraic Ordinals
CoRR abs/0907.0877: (2009) |
| 146 | | Stephen L. Bloom,
Zoltán Ésik:
Axiomatizing rational power series over natural numbers.
Inf. Comput. 207(7): 793-811 (2009) |
| 145 | | Zoltán Ésik,
Yuan Gao,
Guangwu Liu,
Sheng Yu:
Estimation of state complexity of combined operations.
Theor. Comput. Sci. 410(35): 3272-3280 (2009) |
| 2008 |
|---|
| 144 | | Zoltán Ésik,
Szabolcs Iván:
Games for Temporal Logics on Trees.
CIAA 2008: 191-200 |
| 143 | | Zoltán Ésik:
Iteration Semirings.
Developments in Language Theory 2008: 1-20 |
| 142 | | Zoltán Ésik,
Szabolcs Iván:
Products of Tree Automata with an Application to Temporal Logic.
Fundam. Inform. 82(1-2): 61-78 (2008) |
| 141 | | Zoltán Ésik,
Szabolcs Iván:
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics.
Fundam. Inform. 82(1-2): 79-103 (2008) |
| 140 | | Stephen L. Bloom,
Zoltán Ésik,
Werner Kuich:
Partial Conway and Iteration Semirings.
Fundam. Inform. 86(1-2): 19-40 (2008) |
| 2007 |
|---|
| 139 | | Erzsébet Csuhaj-Varjú,
Zoltán Ésik:
Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
Springer 2007 |
| 138 | | Zoltán Ésik,
Szabolcs Iván:
Aperiodicity in Tree Automata.
CAI 2007: 189-207 |
| 137 | | Stephen L. Bloom,
Zoltán Ésik:
Regular and Algebraic Words and Ordinals.
CALCO 2007: 1-15 |
| 136 | | Zoltán Ésik,
Gabriela Martín:
An Algebraic Characterization of Wolper's Logic.
FCS 2007: 139-143 |
| 135 | | Zoltán Ésik,
Pascal Weil:
Algebraic characterization of logically defined tree languages
CoRR abs/0709.2962: (2007) |
| 134 | | Stephen L. Bloom,
Zoltán Ésik:
Axiomatizing rational power series
CoRR abs/0712.1337: (2007) |
| 133 | | Stephen L. Bloom,
Zoltán Ésik,
Werner Kuich:
Partial Conway and iteration semirings
CoRR abs/0712.2952: (2007) |
| 132 | | Zoltán Ésik,
Guangwu Liu:
Fuzzy tree automata.
Fuzzy Sets and Systems 158(13): 1450-1460 (2007) |
| 131 | | Zoltán Ésik,
Werner Kuich:
Boolean Fuzzy Sets.
Int. J. Found. Comput. Sci. 18(6): 1197-1207 (2007) |
| 130 | | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series.
Journal of Automata, Languages and Combinatorics 12(4): 435-454 (2007) |
| 2006 |
|---|
| 129 | | Zoltán Ésik,
Carlos Martín-Vide,
Victor Mitrana:
Recent Advances in Formal Languages and Applications
Springer 2006 |
| 128 | | Zoltán Ésik:
Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Springer 2006 |
| 127 | | Stephen L. Bloom,
Zoltán Ésik:
Completing Categorical Algebras.
IFIP TCS 2006: 231-249 |
| 126 | | Zoltán Ésik:
Preface.
Acta Cybern. 17(4): 663-663 (2006) |
| 125 | | Zoltán Ésik,
Pascal Weil:
Algebraic recognizability of regular tree languages
CoRR abs/cs/0609113: (2006) |
| 124 | | Zoltán Ésik:
Cascade Products and Temporal Logics on Finite Trees.
Electr. Notes Theor. Comput. Sci. 162: 163-166 (2006) |
| 123 | | Alberto Bertoni,
Zoltán Ésik,
Juhani Karhumäki:
Preface.
Theor. Comput. Sci. 356(1-2): 1-5 (2006) |
| 122 | | Zoltán Ésik:
Characterizing CTL-like logics on finite trees.
Theor. Comput. Sci. 356(1-2): 136-152 (2006) |
| 121 | | Zoltán Ésik:
Preface.
Theor. Comput. Sci. 366(3): 181 (2006) |
| 2005 |
|---|
| 120 | | Zoltán Ésik,
Hans Leiß:
Algebraically complete semirings and Greibach normal form.
Ann. Pure Appl. Logic 133(1-3): 173-203 (2005) |
| 119 | | Zoltán Ésik,
Zoltán L. Németh:
Algebraic and graph-theoretic properties of infinite n-posets.
ITA 39(1): 305-322 (2005) |
| 118 | | Stephen L. Bloom,
Zoltán Ésik:
The equational theory of regular words.
Inf. Comput. 197(1-2): 55-89 (2005) |
| 117 | | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of ?-Regular Languages I.
Journal of Automata, Languages and Combinatorics 10(2/3): 203-242 (2005) |
| 116 | | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of ?-Regular Languages II.
Journal of Automata, Languages and Combinatorics 10(2/3): 243-264 (2005) |
| 115 | | Luca Aceto,
Wan Fokkink,
Anna Ingólfsdóttir,
Zoltán Ésik:
Guest editors' foreword: Process Algebra.
Theor. Comput. Sci. 335(2-3): 127-129 (2005) |
| 114 | | Zoltán Ésik,
Pascal Weil:
Algebraic recognizability of regular tree languages.
Theor. Comput. Sci. 340(1): 291-321 (2005) |
| 2004 |
|---|
| 113 | | Zoltán Ésik,
Werner Kuich:
An Algebraic Generalization of omega-Regular Languages.
MFCS 2004: 648-659 |
| 112 | | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of omega-Context-Free Languages.
Theory Is Forever 2004: 68-80 |
| 111 | | Stephen L. Bloom,
Zoltán Ésik:
Axiomatizing omega and omega-op powers of words.
ITA 38(1): 3-17 (2004) |
| 110 | | Zoltán Ésik,
Igor Walukiewicz:
Foreword.
ITA 38(4): 275-276 (2004) |
| 109 | | Zoltán Ésik,
Zoltán L. Németh:
Higher Dimensional Automata.
Journal of Automata, Languages and Combinatorics 9(1): 3-29 (2004) |
| 108 | | Zoltán Ésik,
Werner Kuich:
Inductive star-semirings.
Theor. Comput. Sci. 324(1): 3-33 (2004) |
| 107 | | Zoltán Ésik,
Zoltán Fülöp:
Foreword.
Theor. Comput. Sci. 327(3): 223-224 (2004) |
| 2003 |
|---|
| 106 | | Zoltán Ésik,
Zoltán Fülöp:
Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
Springer 2003 |
| 105 | | Zoltán Ésik,
Pascal Weil:
On Logically Defined Recognizable Tree Languages.
FSTTCS 2003: 195-207 |
| 104 | | Stephen L. Bloom,
Zoltán Ésik:
Axioms for Regular Words: Extended Abstract.
FSTTCS 2003: 50-61 |
| 103 | | Zoltán Ésik,
Masami Ito:
Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata.
Acta Cybern. 16(1): 1-28 (2003) |
| 102 | | Janusz A. Brzozowski,
Zoltán Ésik:
Hazard Algebras.
Formal Methods in System Design 23(3): 223-256 (2003) |
| 101 | | Stephen L. Bloom,
Zoltán Ésik:
Deciding whether the frontier of a regular tree is scattered.
Fundam. Inform. 55(1): 1-21 (2003) |
| 100 | | Zoltán Ésik,
Kim Guldstrand Larsen:
Regular languages definable by Lindström quantifiers.
ITA 37(3): 179-241 (2003) |
| 99 | | Zoltán Ésik,
Anna Ingólfsdóttir:
Foreword.
ITA 37(4): 272 (2003) |
| 98 | | Stephen L. Bloom,
Zoltán Ésik:
An Extension Theorem with an Application to Formal Tree Series.
Journal of Automata, Languages and Combinatorics 8(2): 145-185 (2003) |
| 97 | | Zoltán Ésik,
Werner Kuich:
Formal Tree Series.
Journal of Automata, Languages and Combinatorics 8(2): 219-285 (2003) |
| 96 | | Luca Aceto,
Zoltán Ésik,
Anna Ingólfsdóttir:
Equational theories of tropical semirings.
Theor. Comput. Sci. 3(298): 417-469 (2003) |
| 2002 |
|---|
| 95 | | Zoltán Ésik,
Anna Ingólfsdóttir:
Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings
University of Aarhus 2002 |
| 94 | | Luca Aceto,
Zoltán Ésik,
Anna Ingólfsdóttir:
Equational Axioms for Probabilistic Bisimilarity.
AMAST 2002: 239-253 |
| 93 | | Zoltán Ésik,
Hans Leiß:
Greibach Normal Form in Algebraically Complete Semirings.
CSL 2002: 135-150 |
| 92 | | Zoltán Ésik:
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators.
Developments in Language Theory 2002: 43-58 |
| 91 | | Stephen L. Bloom,
Zoltán Ésik:
Unique, guarded fixed points in an additive setting: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 90 | | Luca Aceto,
Zoltán Ésik,
Anna Ingólfsdóttir:
A Fully Equational Proof of Parikh's Theorem.
ITA 36(2): 129-153 (2002) |
| 89 | | Zoltán Ésik:
Continuous Additive Algebras and Injective Simulations of Synchronization Trees.
J. Log. Comput. 12(2): 271-300 (2002) |
| 88 | | Zoltán Ésik,
Werner Kuich:
Rationally Additive Semirings.
J. UCS 8(2): 173-183 (2002) |
| 87 | | Zoltán Ésik:
Axiomatizing the subsumption and subword preorders on finite and infinite partial words.
Theor. Comput. Sci. 273(1-2): 225-248 (2002) |
| 2001 |
|---|
| 86 | | Zoltán Ésik:
The Equational Theory of Fixed Points with Applications to Generalized Language Theory.
Developments in Language Theory 2001: 21-36 |
| 85 | | Zoltán Ésik,
Zoltán L. Németh:
Automata on Series-Parallel Biposets.
Developments in Language Theory 2001: 217-227 |
| 84 | | Luca Aceto,
Zoltán Ésik,
Anna Ingólfsdóttir:
Axiomatizing Tropical Semirings.
FoSSaCS 2001: 42-56 |
| 83 | | Janusz A. Brzozowski,
Zoltán Ésik,
Y. Iland:
Algebras for Hazard Detection.
ISMVL 2001: 3- |
| 82 | | Zoltán Ésik,
Werner Kuich:
A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets.
Words, Semigroups, and Transductions 2001: 99-114 |
| 81 | | Stephen L. Bloom,
Zoltán Ésik,
Anna Labella,
Ernest G. Manes:
Iteration 2-theories.
Applied Categorical Structures 9(2): 173-216 (2001) |
| 80 | | Sinisa Crvenkovic,
Igor Dolinka,
Zoltán Ésik:
On Equations for Union-Free Regular Languages.
Inf. Comput. 164(1): 152-172 (2001) |
| 79 | | Pál Dömösi,
Zoltán Ésik:
Homomorphic Simulation and Letichevsky's Criterion.
Journal of Automata, Languages and Combinatorics 6(4): 427-436 (2001) |
| 2000 |
|---|
| 78 | | Janusz A. Brzozowski,
Zoltán Ésik:
Hazard Algebras (Extended Abstract).
A Half-Century of Automata Theory 2000: 1-19 |
| 77 | | Zoltán Ésik:
Axiomatizing the Least Fixed Point Operation and Binary Supremum.
CSL 2000: 302-316 |
| 76 | | Stephen L. Bloom,
Zoltán Ésik:
Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract.
LATIN 2000: 367-376 |
| 75 | | Zoltán Ésik:
Iteration Theories of Boolean Functions.
MFCS 2000: 343-352 |
| 74 | | Luca Aceto,
Zoltán Ésik,
Anna Ingólfsdóttir:
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers.
STACS 2000: 267-278 |
| 73 | | Zoltán Ésik:
The Power of the Group-Identities for Iteration.
IJAC 10(3): 349-374 (2000) |
| 72 | | Zoltán Ésik,
Werner Kuich:
A Kleene Theorem for Lindenmayerian Algebraic Power Series.
Journal of Automata, Languages and Combinatorics 5(2): 109-122 (2000) |
| 71 | | Sinisa Crvenkovic,
Igor Dolinka,
Zoltán Ésik:
The Variety of Kleene Algebras with Conversion is not Finitely Based.
Theor. Comput. Sci. 230(1-2): 235-245 (2000) |
| 70 | | Zoltán Ésik:
A proof of the Krohn-Rhodes Decomposition Theorem.
Theor. Comput. Sci. 234(1-2): 287-300 (2000) |
| 1999 |
|---|
| 69 | | Zoltán Ésik,
Satoshi Okawa:
Series and Parallel Operations on Pomsets.
FSTTCS 1999: 316-328 |
| 68 | | Zoltán Ésik:
Axiomatizing Iteration Categories.
Acta Cybern. 14(1): 65-82 (1999) |
| 67 | | Zoltán Ésik:
Group Axioms for Iteration.
Inf. Comput. 148(2): 131-180 (1999) |
| 66 | | Sinisa Crvenkovic,
Igor Dolinka,
Zoltán Ésik:
A Note on Equations for Commutative Regular Languages.
Inf. Process. Lett. 70(6): 265-267 (1999) |
| 1998 |
|---|
| 65 | | Zoltán Ésik:
Axiomatizing the Equational Theory of Regular Tree Languages (Extended Anstract).
STACS 1998: 455-465 |
| 64 | | Zoltán Ésik,
Michael Bertol:
Nonfinite Axiomatizability of the Equational Theory of Shuffle.
Acta Inf. 35(6): 505-539 (1998) |
| 63 | | L. Bernátsky,
Zoltán Ésik:
Semantics on Flowchart Programs and the Free Conway Theories.
ITA 32(1-3): 35-78 (1998) |
| 62 | | Zoltán Ésik,
Anna Labella:
Equational Properties of Iteration in Algebraically Complete Categories.
Theor. Comput. Sci. 195(1): 61-89 (1998) |
| 1997 |
|---|
| 61 | | Stephen L. Bloom,
Anna Labella,
Zoltán Ésik,
Ernest G. Manes:
Iteration 2-Theories: Extended Abstract.
AMAST 1997: 30-44 |
| 60 | | Stephen L. Bloom,
Zoltán Ésik:
Axiomatizing Shuffle and Concatenation in Languages.
Inf. Comput. 139(1): 62-91 (1997) |
| 59 | | Stephen L. Bloom,
Zoltán Ésik:
Varieties Generated by Languages with Poset Operations.
Mathematical Structures in Computer Science 7(6): 701-713 (1997) |
| 58 | | Zoltán Ésik:
Completeness of Park Induction.
Theor. Comput. Sci. 177(1): 217-283 (1997) |
| 57 | | Stephen L. Bloom,
Zoltán Ésik:
The Equational Logic of Fixed Points (Tutorial).
Theor. Comput. Sci. 179(1-2): 1-60 (1997) |
| 1996 |
|---|
| 56 | | Zoltán Ésik,
Anna Labella:
Equational Properties of Iteration in Algebraically Complete Categories.
MFCS 1996: 336-347 |
| 55 | | Stephen L. Bloom,
Zoltán Ésik:
Two Axiomatizations of a Star Semiring Quasi-Variety.
Bulletin of the EATCS 59: (1996) |
| 54 | | Stephen L. Bloom,
Zoltán Ésik:
Fixed-Point Operations on ccc's. Part I.
Theor. Comput. Sci. 155(1): 1-38 (1996) |
| 53 | | Stephen L. Bloom,
Zoltán Ésik:
Free Shuffle Algebras in Language Varieties.
Theor. Comput. Sci. 163(1&2): 55-98 (1996) |
| 1995 |
|---|
| 52 | | Zoltán Ésik,
Michael Bertol:
Nonfinite Axiomatizability of the Equational Theory of Shuffle.
ICALP 1995: 27-38 |
| 51 | | Stephen L. Bloom,
Zoltán Ésik:
Free Shuffle Algebras in Language Varieties (Extended Abstract).
LATIN 1995: 99-111 |
| 50 | | Stephen L. Bloom,
Zoltán Ésik:
Nonfinite Axiomatizability of Shuffle Inequalities.
TAPSOFT 1995: 318-333 |
| 49 | | Zoltán Ésik,
L. Bernátsky:
Scott induction and equational proofs.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 48 | | Stephen L. Bloom,
Zoltán Ésik:
Some Equational Laws of Initiality in 2CCC's.
Int. J. Found. Comput. Sci. 6(2): 95-118 (1995) |
| 47 | | Zoltán Ésik,
L. Bernátsky:
Equational Properties of Kleene Algebras of Relations with Conversion.
Theor. Comput. Sci. 137(2): 237-251 (1995) |
| 1994 |
|---|
| 46 | | Stephen L. Bloom,
Zoltán Ésik:
Solving Polynomial Fixed Point Equations.
MFCS 1994: 52-67 |
| 1993 |
|---|
| 45 | | Zoltán Ésik:
Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings
Springer 1993 |
| 44 | | Stephen L. Bloom,
Zoltán Ésik:
Some Quasi-Varieties of Iteration Theories.
MFPS 1993: 378-409 |
| 43 | | Stephen L. Bloom,
Zoltán Ésik,
Dirk Taubner:
Iteration Theories of Synchronization Trees
Inf. Comput. 102(1): 1-55 (1993) |
| 42 | | Stephen L. Bloom,
Zoltán Ésik:
Erratum: Iteration Algebras.
Int. J. Found. Comput. Sci. 4(1): 99 (1993) |
| 41 | | Stephen L. Bloom,
Zoltán Ésik:
Matrix and Matricial Iteration Theories, Part I.
J. Comput. Syst. Sci. 46(3): 381-408 (1993) |
| 40 | | Stephen L. Bloom,
Zoltán Ésik:
Matrix and Matricial Iteration Theories, Part II.
J. Comput. Syst. Sci. 46(3): 409-439 (1993) |
| 39 | | Stephen L. Bloom,
Zoltán Ésik:
Equational Axioms for Regular Sets.
Mathematical Structures in Computer Science 3(1): 1-24 (1993) |
| 1992 |
|---|
| 38 | | Stephen L. Bloom,
Zoltán Ésik:
Iteration Algebras.
Int. J. Found. Comput. Sci. 3(3): 245-302 (1992) |
| 1991 |
|---|
| 37 | | Stephen L. Bloom,
Zoltán Ésik:
Program Correctness and Matricial Iteration Theories.
MFPS 1991: 457-476 |
| 36 | | Stephen L. Bloom,
Zoltán Ésik:
Iteration Algebras (Extended Abstract).
TAPSOFT, Vol.1 1991: 264-274 |
| 35 | | Stephen L. Bloom,
Zoltán Ésik:
Cayley iff Stone.
Bulletin of the EATCS 43: 159-161 (1991) |
| 34 | | Zoltán Ésik:
A note on isomorphic simulation of automata by networks of two-state automata.
Discrete Applied Mathematics 30(1): 77-82 (1991) |
| 33 | | Stephen L. Bloom,
Zoltán Ésik:
Floyd-Hoare Logic in Iteration Theories.
J. ACM 38(4): 887-934 (1991) |
| 32 | | Zoltán Ésik:
Results on Homomorphic Realization of Automata by alpha_0-Products.
Theor. Comput. Sci. 87(2): 229-249 (1991) |
| 1990 |
|---|
| 31 | | Pál Dömösi,
Zoltán Ésik:
Product hierarchies of automata and homomorphic simulation.
Acta Cybern. 9(4): 371-373 (1990) |
| 30 | | Zoltán Ésik:
A note on the axiomatization of iteration theories.
Acta Cybern. 9(4): 375-384 (1990) |
| 1989 |
|---|
| 29 | | Pál Dömösi,
Zoltán Ésik,
Balázs Imreh:
On Product Hierarchies of Automata.
FCT 1989: 137-144 |
| 28 | | Stephen L. Bloom,
Zoltán Ésik:
Equational Logic of Circular Data Type Specification.
Theor. Comput. Sci. 63(3): 303-331 (1989) |
| 1988 |
|---|
| 27 | | Zoltán Ésik:
An Extension of the Krohn-Rhodes Decomposition of Automata.
IMYCS 1988: 66-71 |
| 26 | | Pál Dömösi,
Zoltán Ésik:
On the hiearchy of nui-product.
Acta Cybern. 8: 253-257 (1988) |
| 25 | | Pál Dömösi,
Zoltán Ésik:
On homomorphic simulation of automata by alphai-producst.
Acta Cybern. 8: 315-323 (1988) |
| 24 | | Zoltán Ésik:
Independence of the Equational Axioms for Iteration Theories.
J. Comput. Syst. Sci. 36(1): 66-76 (1988) |
| 23 | | Stephen L. Bloom,
Zoltán Ésik:
Varieties of Iteration Theories.
SIAM J. Comput. 17(5): 939-966 (1988) |
| 22 | | Pál Dömösi,
Zoltán Ésik:
Critical Classes for the alpha_0-Product.
Theor. Comput. Sci. 61: 17-24 (1988) |
| 1987 |
|---|
| 21 | | Zoltán Ésik:
On isomorphic realization of automata with alphai-products.
Acta Cybern. 8: 119-127 (1987) |
| 20 | | Zoltán Ésik,
J. Virágh:
A note on alpha0* - products of aperiodic automata.
Acta Cybern. 8: 41-43 (1987) |
| 19 | | Zoltán Ésik:
Loop products and loop-free products.
Acta Cybern. 8: 45-48 (1987) |
| 18 | | Zoltán Ésik,
Ferenc Gécseg:
On a Representation of Tree Automata.
Theor. Comput. Sci. 53: 243-255 (1987) |
| 1986 |
|---|
| 17 | | Zoltán Ésik,
Pál Dömösi,
Ferenc Gécseg,
J. Virágh:
Homomorphic Realizations of Automata with Compositions.
MFCS 1986: 299-307 |
| 16 | | Zoltán Ésik:
Varieties and general products of top-down algebras.
Acta Cybern. 7(3): 293-298 (1986) |
| 15 | | Zoltán Ésik,
J. Virágh:
On products of automata with identity.
Acta Cybern. 7(3): 299-311 (1986) |
| 14 | | Zoltán Ésik,
Pál Dömösi:
Complete Classes of Automata for the alpha-0-Product.
Theor. Comput. Sci. 47(3): 1-14 (1986) |
| 13 | | Zoltán Ésik,
Ferenc Gécseg:
On alpha-0-Products and alpha-2-Products.
Theor. Comput. Sci. 48(3): 1-8 (1986) |
| 1985 |
|---|
| 12 | | Zoltán Ésik:
On the weak equivalence of Elgot's flow-chart schemata.
Acta Cybern. 7(2): 147-154 (1985) |
| 11 | | Stephen L. Bloom,
Zoltán Ésik:
Axiomatizing Schemes and Their Behaviors.
J. Comput. Syst. Sci. 31(3): 375-393 (1985) |
| 1984 |
|---|
| 10 | | Zoltán Ésik,
Ferenc Gécseg:
General products and equational classes of automata.
Acta Cybern. 6: 281-284 (1984) |
| 9 | | Zoltán Ésik:
Decidability results concerning tree transducers II.
Acta Cybern. 6: 303-314 (1984) |
| 8 | | Stephen L. Bloom,
Zoltán Ésik:
Some varieties of iteration theories.
Bulletin of the EATCS 24: 53-65 (1984) |
| 1983 |
|---|
| 7 | | Zoltán Ésik:
Algebras of Iteration Theories.
J. Comput. Syst. Sci. 27(2): 291-303 (1983) |
| 1981 |
|---|
| 6 | | Zoltán Ésik:
An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration.
FCT 1981: 130-136 |
| 5 | | Zoltán Ésik:
Decidability results concerning tree transducers I.
Acta Cybern. 5: 1-20 (1981) |
| 4 | | Zoltán Ésik,
Balázs Imreh:
Remarks on finite commutative automat.
Acta Cybern. 5: 143-146 (1981) |
| 3 | | Zoltán Ésik,
Balázs Imreh:
Subdirectly irreducible commutative automata.
Acta Cybern. 5: 251-260 (1981) |
| 1979 |
|---|
| 2 | | Zoltán Ésik:
On functional tree transducers.
FCT 1979: 121-127 |
| 1976 |
|---|
| 1 | | Zoltán Ésik:
On two problems of A. Salomaa.
Acta Cybern. 2: 299-306 (1976) |
