On characterizations of the first-order functional calculus.

Juliusz Reichbach

Published in: Notre Dame J. Formal Log. (1961)

Keyphrases

higher order
term rewriting
first order logic
real time
functional analysis
computer algebra
database
neural network
artificial intelligence
information systems
case study
propositional logic
relational calculus
linear temporal logic
stochastic dominance
acyclic database schemes