Sign in

Decidability of Definability Issues in the Theory of Real Addition.

Alexis BèsChristian Choffrut
Published in: Fundam. Informaticae (2022)
Keyphrases
  • topics covered include
  • key issues
  • theoretical basis
  • theoretical framework
  • real life
  • multiscale
  • fixed point
  • theoretical foundation
  • general theory
  • formal theory
  • theoretical developments
  • finite model theory