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

Zoltán Ésik, Panos Rondogiannis. Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. In Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Volume 8652 of Lecture Notes in Computer Science, pages 166-180, Springer, 2014. [doi]

@inproceedings{EsikR14,
  title = {Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars},
  author = {Zoltán Ésik and Panos Rondogiannis},
  year = {2014},
  doi = {10.1007/978-3-662-44145-9_12},
  url = {http://dx.doi.org/10.1007/978-3-662-44145-9_12},
  researchr = {https://researchr.org/publication/EsikR14},
  cites = {0},
  citedby = {0},
  pages = {166-180},
  booktitle = {Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings},
  editor = {Ulrich Kohlenbach and Pablo Barceló and Ruy J. G. B. de Queiroz},
  volume = {8652},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-44144-2},
}