2 results
The Expressive Power of Higher-Order Datalog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 925-940
-
- Article
- Export citation
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 421-437
-
- Article
-
- You have access
- Export citation