activity
20062017
most citedMinimum Model Semantics for Extensional Higher-order Logic Programming with Negation

21 citations · 84 across the 35 of their papers we have counts for

collaborators
Showing cs.FLShow all

19 papers · 1 filter

cs.FL2017★ 2 cited

The Triple-Pair Construction for Weighted -Pushdown Automata

Manfred Droste, Zoltán Ésik, Werner Kuich

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…

cs.FL2017★ 5 cited

Commutative positive varieties of languages

Jorge Almeida, Zoltán Ésik, Jean-Éric Pin

We study the commutative positive varieties of languages closed under various operations: shuffle, renaming and product over one-letter alphabets.

cs.FL2015★ 1 cited

*-Continuous Kleene -Algebras

Zoltán Ésik, Uli Fahrenberg, Axel Legay

We define and study basic properties of *-continuous Kleene -algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite produ…

cs.FL2014★ 1 cited

Proceedings 14th International Conference on Automata and Formal Languages

Zoltán Ésik, Zoltán Fülöp

The 14th International Conference Automata and Formal Languages (AFL 2014) was held in Szeged, Hungary, from the 27th to the 29th of May, 2014. The conference was organized by the…

cs.FL2013★ 1 cited

Conway and iteration hemirings

M. Droste, Z. Esik, W. Kuich

Conway hemirings are Conway semirings without a multiplicative unit. We also define iteration hemirings as Conway hemirings satisfying certain identities associated with the finite…

cs.FL2013★ 1 cited

Kleene Algebras and Semimodules for Energy Problems

Zoltán Ésik, Uli Fahrenberg, Axel Legay +1

With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce generalized energy automata. These are finite automata whose edges are…