Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="{\'e}sik, Z."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Axiomatizing weighted synchronization trees and weighted bisimilarity
Z. Ésik
Theoretical Computer Science
534
, 2014, pp. 2-23
An undecidable property of context-free linear orders
Z. Ésik
Information Processing Letters
111
(3), 2011, pp. 107-109
A Mezei-Wright theorem for categorical algebras
S.L. Bloom
,
Z. Ésik
Theoretical Computer Science
411
(2), 2010, pp. 341-359
Axiomatizing rational power series over natural numbers
S.L. Bloom
,
Z. Ésik
Information and Computation
207
(7), 2009, pp. 793-811
Group axioms for iteration
Z. Ésik
Information and Computation
148
(2), 1999, pp. 131-180
On product hierarchies of automata
P. Dömösi
,
Z. ésik
,
B. Imreh
Lecture Notes in Computer Science
380
, 1989, pp. 137-144
Independence of the equational axioms for iteration theories
Z. ésik
Journal of Computer and System Sciences
36
(1), 1988, February, pp. 66-76
On a representation of tree automata
Z. ésik
,
F. Gecseg
Theoretical Computer Science
53
(2-3), 1987, pp. 243-255
Complete classes of automata for the
\alpha_0
-product
Z. ésik
,
P. Domosi
Theoretical Computer Science
47
(1), 1986, pp. 1-14
On
\alpha_0
-products and
\alpha_2
-products
Z. ésik
,
F. Gecseg
Theoretical Computer Science
48
(1), 1986, pp. 1-8
Algebras of iteration theories
Z. ésik
Journal of Computer and System Sciences
27
(2), 1983, October, pp. 291-303