Login / Signup
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency.
Dan E. Willard
Published in:
J. Symb. Log. (2005)
Keyphrases
</>
case study
distributed databases
machine learning
information systems
website
multiscale
global constraints
automatic recognition
path consistency