Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.

Paul-André Melliès

Published in: Processes, Terms and Cycles (2005)

Keyphrases

von neumann
decision theory
axiomatic characterization
artificial intelligence
theoretical framework
information theory
theoretical basis
real time
knowledge base
image processing
three dimensional
logic programs
theoretical foundation
set theory