Tuple calculus: formal definiton and conversion from first-order calculus.

Isamu Kobayashi

Published in: Inf. Syst. (1987)

Keyphrases

formal language
term rewriting
databases
machine learning
computer algebra
information retrieval
higher order
automated deduction
genetic algorithm
first order logic
formal model
algebraic structure