Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms.

Federico Aschieri

Published in: CSL (2012)

Keyphrases

first order logic
computer graphics
user friendly
knowledge base
information retrieval
axiomatic characterization
data sets
information systems
three dimensional
multiscale
data structure
knowledge representation
virtual reality
floating point
arithmetic operations