Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Soft Typing for Ordered Resolution

Ganzinger, H., Meyer, C., & Weidenbach, C. (1997). Soft Typing for Ordered Resolution. In W. McCune (Ed.), Automated Deduction - CADE-14 (pp. 321-335). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A13-B Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-433C-4
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://rdcu.be/dwqly (Verlagsversion)
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Ganzinger, Harald1, Autor           
Meyer, Christoph1, Autor           
Weidenbach, Christoph1, 2, Autor                 
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We propose a variant of ordered resolution with semantic restrictions
based on interpretations which are identified by the given atom ordering
and selection function. Techniques for effectively approximating validity
in these interpretations are described that are related to methods of
soft typing for programming languages.
The framework is shown to be strictly more general than certain related
methods.
Implementation in the \spass\ prover has lead to encouraging experimental
results.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121997
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519892
Anderer: Local-ID: C1256104005ECAFC-C50C48A8AE0AEB5CC1256480004B6FAE-GanzingerMeyerWeidenbach-97-cade
DOI: 10.1007/3-540-63104-6_32
BibTex Citekey: Ganzinger-et-al_CADE97
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 14th International Conference on Automated Deduction
Veranstaltungsort: Townsville, Australia
Start-/Enddatum: 1997-07-13 - 1997-07-17

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated Deduction - CADE-14
  Untertitel : 14th International Conference on Automated Deduction
  Kurztitel : CADE 1997
Genre der Quelle: Konferenzband
 Urheber:
McCune, William1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 321 - 335 Identifikator: ISBN: 978-3-540-63104-0

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
  Kurztitel : LNAI
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 1249 Artikelnummer: - Start- / Endseite: - Identifikator: -