Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars

DOI10.1007/978-3-662-44145-9_12zbMath1318.68113OpenAlexW2194172839MaRDI QIDQ2938139

Panos Rondogiannis, Zoltán Ésik

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_12

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (3)

An analysis of the equational properties of the well-founded fixed point ⋮ Equational Properties of Stratified Least Fixed Points (Extended Abstract) ⋮ Extensional Semantics for Higher-Order Logic Programs with Negation

This page was built for publication: Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars