Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  A Decision Procedure for (Co)datatypes in SMT Solvers

Reynolds, A., & Blanchette, J. C. (2017). A Decision Procedure for (Co)datatypes in SMT Solvers. Journal of Automated Reasoning, 58(3), 341-362. doi:10.1007/s10817-016-9372-6.

Item is

Basisdaten

einblenden: ausblenden:
Genre: Zeitschriftenartikel
Latex : A Decision Procedure for (Co)datatypes in {SMT} Solvers

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Reynolds, Andrew1, Autor
Blanchette, Jasmin Christian2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20172017
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: DBLP:journals/jar/ReynoldsB17
DOI: 10.1007/s10817-016-9372-6
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Automated Reasoning
Genre der Quelle: Zeitschrift
 Urheber:
Kambhampati, Subbarao1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: New York, NY : Springer
Seiten: - Band / Heft: 58 (3) Artikelnummer: - Start- / Endseite: 341 - 362 Identifikator: ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948