A note to my paper: "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
functional analysis
data sets
neural network
functional properties
databases
image segmentation
theorem prover
model theoretic
formal language
computer algebra
acyclic database schemes