English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Superposition Modulo Theory

Kruglov, E. (2013). Superposition Modulo Theory. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Files

show Files
hide Files
:
Kruglov.PhD.2013.pdf (Any fulltext), 3MB
 
File Permalink:
-
Name:
Kruglov.PhD.2013.pdf
Description:
-
OA-Status:
Visibility:
Restricted (Max Planck Institute for Informatics, MSIN; )
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show
hide
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:
Kruglov, Evgeny1, 2, Author           
Althaus, Ernst3, Advisor           
Weidenbach, Christoph1, Referee           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551              
3Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2013-10-3120132013
 Publication Status: Issued
 Pages: X, 229 p.
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: KruglovDiss13
Other: Local-ID: F58B326B7199622DC1257C66003BEFFF-KruglovDiss13
URN: urn:nbn:de:bsz:291-scidok-55597
 Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show