Macquarie Home | Course Handbook | Library | Campus Map | Macquarie Contacts
Home page

Macquarie University ResearchOnline

Home -List Of Titles
List View List View   Icon View Icon View

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Title Author/Creator Date Full Text Reviewed
Add Deciding polynomial-transcendental problems McCallum, Scott; Weispfenning, Volker 2012 — Reviewed
Add Deciding polynomial-exponential problems Achatz, Melanie; McCallum, Scott; Weispfenning, Volker 2008 — Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last
Author/Creator
  • Achatz, Melanie (1)
Subject Keyword
  • 080200 Computation Theory and Mathematics (1)
  • Decision procedure (1)
  • Exponential polynomials (1)
  • decision procedure (1)
  • exponential polynomials (1)
Resource Type
  • conference paper (1)
  • journal article (1)
  • Show All  
  • Show My Selections 
Advanced Search

Search

Browse

  • By Title 
  • By Author/Creator 
  • By Department/Centre 
  • By Subject Keyword 
  • By Journal/Conference 
  • By FoR/RFCD codes 
  • By Resource Type 
  • By Date 

Highlights

  • Most Accessed Objects 
  • Recent Additions 
  • Pending Publications 
  • Author Profiles 

Resources

  • About ResearchOnline 
  • FAQ 
  • Open Access 
  • Open Access-FAQs 
  • Copyright 
  • Contribute 
  • Help 
  • Contact
  • Terms and Conditions 
Valid XHTML 1.0 Strict Powered by VITAL

Copyright Macquarie University | Privacy Statement | Accessibility Information

ABN 90 952 801 237 | CRICOS Provider No 00002J
Library Staff Sign In