Quantifier Elimination in Second-Order Predicate Logic

Engel, Thorsten

Local TagsRelease HistoryDetailsSummary

Quantifier Elimination in Second-Order Predicate Logic

Engel, T. (1996). Quantifier Elimination in Second-Order Predicate Logic. 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-0014-ABFF-2 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACEE-A

Genre: Thesis

Files

show Files

hide Files

:

engel.ps.gz (Any fulltext), 251KB

File Permalink:
-

Name:
engel.ps.gz

Description:
-

OA-Status:

Visibility:
Private

MIME-Type / Checksum:
application/gzip

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Engel, Thorsten¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1996Date issued: 1996

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519572
Other: Local-ID: C1256104005ECAFC-96219E83E1111E5AC125647C0055F9D5-Engel96

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show