A Unique Termination Theorem for a Theory with Generalised Commutative Axioms.

Hans-Josef Jeanrond

Published in: ICALP (1979)

Keyphrases

von neumann
theoretical framework
special case
databases
axiomatic characterization
artificial intelligence
social networks
computer vision
image processing
database systems
first order logic
information theory
conceptual framework
theoretical basis
logical theories