Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.

Wendy MacCaull Ewa Orlowska

Published in: Stud Logica (2002)

Keyphrases

complex systems
real time
relational databases
management system
intelligent systems
neural network
data mining
computer systems
computing environments
key technologies
data sets
expert systems
building blocks
relational data
automated theorem proving
proof search