English
English
Deutsch
日本語
Help
Privacy Policy
Disclaimer
Include files
Advanced Search
Browse
START
BASKET (0)
Tools
Item
ITEM ACTIONS
EXPORT
Add to Basket
Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_2083886_5
Details
Summary
Labelled Superposition
Fietzke, A.
(2014).
Labelled Superposition. PhD 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-0024-96A6-D
Version Permalink
:
https://hdl.handle.net/11858/00-001M-0000-0027-F8A0-C
Genre
:
Thesis
Files
show Files
Locators
show
hide
Locator
:
http://scidok.sulb.uni-saarland.de/volltexte/2014/5825/
(Any fulltext)
Description
:
-
OA-Status
:
Green
Locator
:
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de
(Copyright transfer agreement)
Description
:
-
OA-Status
:
Not specified
Creators
show
hide
Creators
:
Fietzke, Arnaud
1, 2
, Author
Weidenbach, Christoph
1
, Advisor
Hermanns, Holger
3
, Referee
Affiliations
:
1
Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2
International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551
3
External Organizations, ou_persistent22
Content
show
Details
show
hide
Language(s)
:
eng - English
Dates
:
Accepted:
2014-06-05
Published Online:
2014-07-16
Date issued:
2014
Publication Status
:
Issued
Pages
:
176 p.
Publishing info
:
Saarbrücken : Universität des Saarlandes
Table of Contents
:
-
Rev. Type
:
-
Identifiers
:
BibTex Citekey: Fietzke2014
Degree
:
PhD
Event
show
Legal Case
show
Project information
show
Source
show