Definability by Programs in First-Order Structures.

Published in: Theor. Comput. Sci. (1983)

Keyphrases

fixed point
automatic programming
first order logic
answer set programs
database
databases
answer sets
data sets
e learning
database systems
higher order
logic programming
propositional logic
computer programs
finite model theory