Macquarie University Home Page Macquarie University ResearchOnline

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2012
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/173391
Description: 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
Reviewed:Reviewed
Date: 2006
Language: eng
Resource Type: report
Identifier: http://hdl.handle.net/1959.14/76021
Description: 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
  • First
  • Previous
  • 1
  • Next
  • Last

Resource Type