Topological Investigations of the Operators of the Well-Founded, and Alternating Fixed-Point Semantics of Normal Logic Programs
| Autor: | Heinze, Roland |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science October 2003 74:51-68 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect