Errata: "On characterizations of the first-order functional calculus".

Juliusz Reichbach

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

Keyphrases

term rewriting
higher order
first order logic
theorem proving
real time
automated deduction
real numbers
functional analysis
quantifier elimination
machine learning
bayesian networks
expressive power
conditional logic
relational calculus
algebraic structure
acyclic database schemes