Showing items 1 - 2 of 2.
Add to Quick Collection
All 2 Results
Add All Items to Quick Collection
Resource Type: journal article
This paper presents a decision procedure for a certain class of sentences of first order logic involving integral polynomials and a certain specific analytic transcendental function trans. (x) in whic... More
Resource Type: report
We present a decision algorithm for a restricted class of sentences involving certain mixed polynomial and transcendental analytic functions. Variables may range over the real numbers. The approach ta... More