Real Linear Quantifier Elimination

Reuter, Jochen

Local TagsRelease HistoryDetailsSummary

Real Linear Quantifier Elimination

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

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-7A29-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-7A30-6

Genre: Thesis

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, Jochen¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2013-01-17Date issued: 2013

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