Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  SPASS+T

Prevosto, V., & Waldmann, U. (2006). SPASS+T. In G. Sutcliffe, R. Schmidt, & S. Schulz (Eds.), Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (pp. 18-33). Aachen: CEUR-WS.org. Retrieved from http://CEUR-WS.org/Vol-192/paper02.pdf.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-24DF-7 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-342F-4
Genre: Konferenzbeitrag
Latex : {SPASS+T}

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
http://ceur-ws.org/Vol-192/paper02.pdf (beliebiger Volltext)
Beschreibung:
-
OA-Status:

Urheber

einblenden:
ausblenden:
 Urheber:
Prevosto, Virgile1, Autor           
Waldmann, Uwe2, Autor                 
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: SPASS+T is an extension of the superposition-based theorem prover SPASS that allows us to enlarge the reasoning capabilities of SPASS using an arbitrary SMT procedure for arithmetic and free function symbols as a black-box. We discuss the architecture of SPASS+T and the capabilities, limitations, and applications of such a combination.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2007-03-062006
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 521690
BibTex Citekey: PrevostoWaldmann2006
URI: http://CEUR-WS.org/Vol-192/paper02.pdf
Anderer: Local-ID: C125716C0050FB51-D0763023EF7C1D65C125721F003B2849-PrevostoWaldmann2006
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: FLoC'06 Workshop on Empirically Successful Computerized Reasoning
Veranstaltungsort: Seattle, WA, USA
Start-/Enddatum: 2006-08-21 - 2006-08-21

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning
  Kurztitel : ESCoR 2006
Genre der Quelle: Konferenzband
 Urheber:
Sutcliffe, Geoff1, Herausgeber           
Schmidt, Renate1, Herausgeber
Schulz, Stephan1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Aachen : CEUR-WS.org
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 18 - 33 Identifikator: -

Quelle 2

einblenden:
ausblenden:
Titel: CEUR Workshop Proceedings
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 192 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1613-0073