Algebraic studies of first-order enlargements.

Jürgen Schmidt

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

Keyphrases

higher order
first order logic
linear algebra
search algorithm
special case
neural network
artificial intelligence
information systems
image processing
pairwise
linear temporal logic