Zobrazeno 1 - 10
of 167
pro vyhledávání: '"Zoltan Esik"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Zoltan Esik, Dexter Kozen
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 4 (2019)
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of this form a
Externí odkaz:
https://doaj.org/article/610a89e9ca654cc18009c2bd86c555e3
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full
Autor:
Stephen L. Bloom, Zoltan Esik
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of seman
Autor:
Erzsébet Csuhaj-Varjú, Zoltán Ésik
This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are presented along with four invited papers. The papers address all current topics in computation theory,
The theory of formal languages is widely accepted as the backbone of theoretical computer science originating from mathematics and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation o