Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  A Framework for the Verification of Certifying Computations

Alkassar, E., Böhme, S., Mehlhorn, K., & Rizkallah, C. (2014). A Framework for the Verification of Certifying Computations. Journal of Automated Reasoning, 52(3), 241-273. doi:10.1007/s10817-013-9289-2.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-3DF3-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-3DF4-5
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Alkassar, Eyad1, Autor           
Böhme, Sascha1, Autor
Mehlhorn, Kurt2, Autor           
Rizkallah, Christine2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Inhalt

einblenden:
ausblenden:
Schlagwörter: Computer Science, Logic in Computer Science, cs.LO,Computer Science, Data Structures and Algorithms, cs.DS,Computer Science, Formal Languages and Automata Theory, cs.FL
 Zusammenfassung: -

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2013-06-292014
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1007/s10817-013-9289-2
BibTex Citekey: AlkassarJAR2014
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Automated Reasoning
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Dordrecht, Holland : Springer
Seiten: - Band / Heft: 52 (3) Artikelnummer: - Start- / Endseite: 241 - 273 Identifikator: ISSN: 0168-7433
ISSN: 1573-0670
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948