Canonization for Disjoint Unions of Theories.

Sava Krstic Sylvain Conchon

Published in: CADE (2003)

Keyphrases

theoretical framework
cognitive psychology
neural network
information systems
pairwise
pattern languages
design theory
database
knowledge base
artificial neural networks
state space