Login / Signup
Decidability of the theory of the natural integers with the cantor pairing function and the successor.
Patrick Cégielski
Denis Richard
Published in:
Theor. Comput. Sci. (2001)
Keyphrases
</>
nonlinear dynamical systems
theoretical basis
computational model
real world
theoretical framework
formal theory
machine learning
information retrieval
artificial intelligence
image segmentation
special case
description logics
artificial systems