A Fixpoint Construction of the p-adic Domain.

Published in: Category Theory and Computer Science (1987)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
horn clauses
domain specific
datalog programs
stable models
general purpose
matching algorithm
domain ontology
data exchange
sql queries
proof theoretic