Algebraic and Logic Aspects of Unification.

Alexander Bockmayr

Published in: IWWERT (1990)

Keyphrases

higher order
algebraic structure
computer algebra
modal logic
logic programming
multi valued
classical logic
formal logic
database
information retrieval
logical framework
mathematical theory
formal theory
abductive reasoning