Остановите войну!
for scientists:
default search action
Zoltán Ésik
- > Home > Persons > Zoltán Ésik
Publications
- 2011
- [j108]Stephen L. Bloom, Zoltán Ésik:
Algebraic Linear Orderings. Int. J. Found. Comput. Sci. 22(2): 491-515 (2011) - 2010
- [j103]Stephen L. Bloom, Zoltán Ésik:
Algebraic Ordinals. Fundam. Informaticae 99(4): 383-407 (2010) - [j99]Stephen L. Bloom, Zoltán Ésik:
A Mezei-Wright theorem for categorical algebras. Theor. Comput. Sci. 411(2): 341-359 (2010) - [i12]Stephen L. Bloom, Zoltán Ésik:
Algebraic Linear Orderings. CoRR abs/1002.1624 (2010) - 2009
- [j97]Stephen L. Bloom, Zoltán Ésik:
Axiomatizing rational power series over natural numbers. Inf. Comput. 207(7): 793-811 (2009) - [c46]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Cycle-Free Finite Automata in Partial Iterative Semirings. CAI 2009: 1-12 - [c44]Stephen L. Bloom, Zoltán Ésik:
Scattered Algebraic Linear Orderings. FICS 2009: 25-29 - [i6]Stephen L. Bloom, Zoltán Ésik:
Algebraic Ordinals. CoRR abs/0907.0877 (2009) - 2008
- [j93]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Partial Conway and Iteration Semirings. Fundam. Informaticae 86(1-2): 19-40 (2008) - 2007
- [c38]Stephen L. Bloom, Zoltán Ésik:
Regular and Algebraic Words and Ordinals. CALCO 2007: 1-15 - [i4]Stephen L. Bloom, Zoltán Ésik:
Axiomatizing rational power series. CoRR abs/0712.1337 (2007) - [i3]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Partial Conway and iteration semirings. CoRR abs/0712.2952 (2007) - 2006
- [c36]Stephen L. Bloom, Zoltán Ésik:
Completing Categorical Algebras. IFIP TCS 2006: 231-249 - 2005
- [j84]Stephen L. Bloom, Zoltán Ésik:
The equational theory of regular words. Inf. Comput. 197(1-2): 55-89 (2005) - 2004
- [j78]Stephen L. Bloom, Zoltán Ésik:
Axiomatizing omega and omega-op powers of words. RAIRO Theor. Informatics Appl. 38(1): 3-17 (2004) - 2003
- [j71]Stephen L. Bloom, Zoltán Ésik:
Deciding whether the frontier of a regular tree is scattered. Fundam. Informaticae 55(1): 1-21 (2003) - [j68]Stephen L. Bloom, Zoltán Ésik:
An Extension Theorem with an Application to Formal Tree Series. J. Autom. Lang. Comb. 8(2): 145-185 (2003) - [c32]Stephen L. Bloom, Zoltán Ésik:
Axioms for Regular Words: Extended Abstract. FSTTCS 2003: 50-61 - 2002
- [c27]Stephen L. Bloom, Zoltán Ésik:
Unique, guarded fixed points in an additive setting: Extended Abstract. CTCS 2002: 47-61 - 2001
- [j60]Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes:
Iteration 2-theories. Appl. Categorical Struct. 9(2): 173-216 (2001) - 2000
- [c20]Stephen L. Bloom, Zoltán Ésik:
Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract. LATIN 2000: 367-376 - 1998
- [j47]Stephen L. Bloom, Zoltán Ésik:
Shuffle binoids. RAIRO Theor. Informatics Appl. 32(4-6): 175-198 (1998) - 1997
- [j45]Stephen L. Bloom, Zoltán Ésik:
Axiomatizing Shuffle and Concatenation in Languages. Inf. Comput. 139(1): 62-91 (1997) - [j44]Stephen L. Bloom, Zoltán Ésik:
Varieties Generated by Languages with Poset Operations. Math. Struct. Comput. Sci. 7(6): 701-713 (1997) - [j42]Stephen L. Bloom, Zoltán Ésik:
The Equational Logic of Fixed Points (Tutorial). Theor. Comput. Sci. 179(1-2): 1-60 (1997) - [c15]Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes:
Iteration 2-Theories: Extended Abstract. AMAST 1997: 30-44 - 1996
- [j41]Stephen L. Bloom, Zoltán Ésik:
Two Axiomatizations of a Star Semiring Quasi-Variety. Bull. EATCS 59 (1996) - [j40]Stephen L. Bloom, Zoltán Ésik:
Fixed-Point Operations on ccc's. Part I. Theor. Comput. Sci. 155(1): 1-38 (1996) - [j39]Stephen L. Bloom, Zoltán Ésik:
Free Shuffle Algebras in Language Varieties. Theor. Comput. Sci. 163(1&2): 55-98 (1996) - 1995
- [j38]Stephen L. Bloom, Zoltán Ésik:
Some Equational Laws of Initiality in 2CCC's. Int. J. Found. Comput. Sci. 6(2): 95-118 (1995) - [c12]Stephen L. Bloom, Zoltán Ésik:
Free Shuffle Algebras in Language Varieties (Extended Abstract). LATIN 1995: 99-111 - [c11]Stephen L. Bloom, Zoltán Ésik:
Nonfinite Axiomatizability of Shuffle Inequalities. TAPSOFT 1995: 318-333 - 1994
- [c9]Stephen L. Bloom, Zoltán Ésik:
Solving Polynomial Fixed Point Equations. MFCS 1994: 52-67 - 1993
- [b1]Stephen L. Bloom, Zoltán Ésik:
Iteration Theories - The Equational Logic of Iterative Processes. EATCS Monographs on Theoretical Computer Science, Springer 1993, ISBN 978-3-642-78036-3, pp. i-xv, 1-632 - [j36]Stephen L. Bloom, Zoltán Ésik, Dirk Taubner:
Iteration Theories of Synchronization Trees. Inf. Comput. 102(1): 1-55 (1993) - [j35]Stephen L. Bloom, Zoltán Ésik:
Erratum: Iteration Algebras. Int. J. Found. Comput. Sci. 4(1): 99 (1993) - [j34]Stephen L. Bloom, Zoltán Ésik:
Matrix and Matricial Iteration Theories, Part I. J. Comput. Syst. Sci. 46(3): 381-408 (1993) - [j33]Stephen L. Bloom, Zoltán Ésik:
Matrix and Matricial Iteration Theories, Part II. J. Comput. Syst. Sci. 46(3): 409-439 (1993) - [j32]Stephen L. Bloom, Zoltán Ésik:
Equational Axioms for Regular Sets. Math. Struct. Comput. Sci. 3(1): 1-24 (1993) - [c8]Stephen L. Bloom, Zoltán Ésik:
Some Quasi-Varieties of Iteration Theories. MFPS 1993: 378-409 - 1992
- [j31]Stephen L. Bloom, Zoltán Ésik:
Iteration Algebras. Int. J. Found. Comput. Sci. 3(3): 245-302 (1992) - 1991
- [j29]Stephen L. Bloom, Zoltán Ésik:
Cayley iff Stone. Bull. EATCS 43: 159-161 (1991) - [j28]Stephen L. Bloom, Zoltán Ésik:
Floyd-Hoare Logic in Iteration Theories. J. ACM 38(4): 887-934 (1991) - [c7]Stephen L. Bloom, Zoltán Ésik:
Program Correctness and Matricial Iteration Theories. MFPS 1991: 457-476 - [c6]Stephen L. Bloom, Zoltán Ésik:
Iteration Algebras (Extended Abstract). TAPSOFT, Vol.1 1991: 264-274 - 1990
- [i1]Stephen L. Bloom, Zoltán Ésik, Dirk Taubner:
Iteration theories of synchronization trees. Forschungsberichte, TU Munich TUM I 9014: 1-60 (1990) - 1989
- [j24]Stephen L. Bloom, Zoltán Ésik:
Equational Logic of Circular Data Type Specification. Theor. Comput. Sci. 63(3): 303-331 (1989) - 1988
- [j20]Stephen L. Bloom, Zoltán Ésik:
Varieties of Iteration Theories. SIAM J. Comput. 17(5): 939-966 (1988) - 1985
- [j9]Stephen L. Bloom, Zoltán Ésik:
Axiomatizing Schemes and Their Behaviors. J. Comput. Syst. Sci. 31(3): 375-393 (1985) - 1984
- [j8]Stephen L. Bloom, Zoltán Ésik:
Some varieties of iteration theories. Bull. EATCS 24: 53-65 (1984)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint