The Decidability of the Structural Congruence for Beta-binders.

Corrado Priami Alessandro Romanel

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

Keyphrases

structural information
query answering
structural analysis
decision making
data mining
description logics
structural constraints
real time
neural network
information retrieval
digital libraries
hidden markov models
data exchange
temporal logic