First-order Semantics for Higher-order Processes.

Michael Baldamus

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

higher order
higher order logic
sound and complete with respect
logic programming
natural images
low order
pairwise
high order
logic programs
formal semantics
conditional logic
model theoretic
dynamic aspects
description logics
deductive databases