Decidability of Behavioural Equivalence in Unary PCF.

Manfred Schmidt-Schauß

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

Keyphrases

query containment
description logics
pairwise
classification method
query answering
conjunctive queries
real time
databases
knowledge base
data structure
datalog programs
type checking
behavioural patterns