Extended Natural Semantics.

Published in: J. Funct. Program. (1993)

Keyphrases

formal semantics
derivation rules
database
artificial intelligence
databases
relational databases
query processing
description logics
argumentation frameworks
logical framework
model theoretic