A Decision Procedure for the First Order Theory of Real Addition with Order

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1973
Accession Number
AD0760000

Entities

People

  • Charles Rackoff
  • Jeanne Ferrante

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Arithmetic
  • Automata
  • Binary Notation
  • Coefficients
  • Computations
  • Department Of Defense
  • Elimination
  • Integrals
  • Language
  • Machines
  • Massachusetts
  • Military Research
  • New York
  • Numbers
  • Rational Numbers
  • Real Numbers