English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Real Linear Quantifier Elimination

Reuter, J. (2013). Real Linear Quantifier Elimination. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Files

show Files
hide Files
:
Quantifier_Elimination.pdf (Any fulltext), 656KB
 
File Permalink:
-
Name:
Quantifier_Elimination.pdf
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Reuter, Jochen1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2013-01-172013
 Publication Status: Issued
 Pages: 56 p.
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Reuter13
Other: Local-ID: F0C7E37C199F08D2C1257AF6004CE0B4-Reuter13
 Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show