SMELS: Satisfiability Modulo Equality with Lazy Superposition

Lynch, Christopher; Tran, Duc-Khanh

doi:10.1007/978-3-540-88387-6_15

Lokale TagsFreigabegeschichteDetailsÜbersicht

SMELS: Satisfiability Modulo Equality with Lazy Superposition

Lynch, C., & Tran, D.-K. (2008). SMELS: Satisfiability Modulo Equality with Lazy Superposition. In S. Cha, J.-Y. Choi, M. Kim, I. Lee, & M. Viswanathan (Eds.), Automated Technology for Verification and Analysis (pp. 186-200). Berlin: Springer. doi:10.1007/978-3-540-88387-6_15.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1CF4-B Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BBFF-D

Genre: Konferenzbeitrag

Latex : {SMELS}: Satisfiability Modulo Equality with Lazy Superposition

ausblenden:

Urheber:
Lynch, Christopher¹, Autor
Tran, Duc-Khanh¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2009-03-30Online veröffentlicht: 2008Erschienen: 2008

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 428156
DOI: 10.1007/978-3-540-88387-6_15
URI: http://dx.doi.org/10.1007/978-3-540-88387-6_15
Anderer: Local-ID: C125756E0038A185-84C2F1CBDAC10AB3C12574BA00437325-Tran2008

Art des Abschluß: -

Veranstaltung

einblenden:

ausblenden:

Titel: 6th International Symposium on Automated Technology for Verification and Analysis

Veranstaltungsort: Seoul, Korea

Start-/Enddatum: 2008-10-20 - 2008-10-23

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:

ausblenden:

Titel: Automated Technology for Verification and Analysis

Kurztitel : ATVA 2008

Untertitel : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Genre der Quelle: Konferenzband

Urheber:
Cha, Sungdeok¹, Herausgeber
Choi, Jin-Young¹, Herausgeber
Kim, Moonzoo¹, Herausgeber
Lee, Insup¹, Herausgeber
Viswanathan, Mahesh¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Berlin : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 186 - 200 Identifikator: ISBN: 978-3-540-88386-9

Quelle 2

einblenden:

ausblenden:

Titel: Lecture Notes in Computer Science

Kurztitel : LNCS

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 5311 Artikelnummer: - Start- / Endseite: - Identifikator: -

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle 1

Quelle 2