Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity.

Victor Pambuccian

Published in: Synth. (2002)

Keyphrases

strongly typed
programming language
language learning
type checking
computational complexity
database
database programming language
three dimensional
multiscale
decision problems
complexity analysis
neural network
computational cost
geometric information