Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Decision Procedures for Linear Arithmetic

Bromberger, M. (2019). Decision Procedures for Linear Arithmetic. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-30636.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0007-713E-5 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-33E8-3
Genre: Hochschulschrift

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28955 (beliebiger Volltext)
Beschreibung:
-
OA-Status:
Grün

Urheber

einblenden:
ausblenden:
 Urheber:
Bromberger, Martin1, 2, Autor                 
Weidenbach, Christoph1, Ratgeber                 
Sturm, Thomas1, Gutachter                 
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              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2019-12-1020192019
 Publikationsstatus: Erschienen
 Seiten: 341 p.
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.22028/D291-30636
BibTex Citekey: Bromberger_2019
URN: urn:nbn:de:bsz:291--ds-306363
Anderer: hdl:20.500.11880/28955
 Art des Abschluß: Doktorarbeit

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: