Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Zoltan Esik"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 252, Iss Proc. AFL 2017, Pp 101-113 (2017)
Let S be a complete star-omega semiring and Sigma be an alphabet. For a weighted omega-pushdown automaton P with stateset 1...n, n greater or equal to 1, we show that there exists a mixed algebraic system over a complete semiring-semimodule pair ((S<
Externí odkaz:
https://doaj.org/article/ea562d73cb8c4c9897e572461fc751d1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 191, Iss Proc. FICS 2015, Pp 48-59 (2015)
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix
Externí odkaz:
https://doaj.org/article/4d70eb6dd1754cc39fd927627ed3eb66
Autor:
Zoltan Ésik
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 31, Iss Proc. DCFS 2010, Pp 78-87 (2010)
It is known that an ordinal is the order type of the lexicographic ordering of a regular language if and only if it is less than omega^omega. We design a polynomial time algorithm that constructs, for each well-ordered regular language L with respect
Externí odkaz:
https://doaj.org/article/77a5dcdb444e4eb3be8a7b1be9e5c76e
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
Autor:
Zoltán Ésik
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer
Autor:
Zoltán Ésik, Zoltán Fülöp
This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003. The 27 revised full papers presented together with 7 invited papers were carefully