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

Zoltn sik, Panos Rondogiannis

Browse the full WoLLIC paper archive.