scientific article; zbMATH DE number 708664
From MaRDI portal
Publication:4318639
zbMath0938.68567MaRDI QIDQ4318639
Peter A. Cholak, Howard A. Blair
Publication date: 21 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
The expressiveness of locally stratified programs ⋮ Complexity and undecidability results for logic programming ⋮ On the computational cost of disjunctive logic programming: Propositional case ⋮ Game characterizations of logic program properties ⋮ Locally stratified Boolean grammars ⋮ Extensional Semantics for Higher-Order Logic Programs with Negation ⋮ Temporal stratification tests for linear and branching-time deductive databases
This page was built for publication:
