21 citations · 84 across the 35 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
Equational properties of stratified least fixed points
Zoltan Esik
Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between stratified complete lattices and used to give semantics to logic programs w…
cs.LO2014★ 1 cited
A Fixed Point Theorem for Non-Monotonic Functions
Zoltán Ésik, Panos Rondogiannis
We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tar…