Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  An Overview of Resolution Decision Procedures

de Nivelle, H. (2000). An Overview of Resolution Decision Procedures. In M. Faller, S. Kaufmann, & M. Pauly (Eds.), Formalizing the Dynamics of Information (pp. 115-130). Stanford, USA: Center for the Study of Language and Information.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3412-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3413-A
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
de Nivelle, Hans1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In the paper I give a unified treatment of several first order decidable classes, using resolution decision procedures.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-122000
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Stanford, USA : Center for the Study of Language and Information
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519785
Anderer: Local-ID: C1256104005ECAFC-B6B553C2B9E40862C1256A01005066C7-deNivelle2000b
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Stanford University, Palo Alto, USA
Start-/Enddatum: 2000

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Formalizing the Dynamics of Information
Genre der Quelle: Konferenzband
 Urheber:
Faller, Martina, Herausgeber
Kaufmann, Stefan, Herausgeber
Pauly, Marc, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Stanford, USA : Center for the Study of Language and Information
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 115 - 130 Identifikator: ISBN: 1-57586-239-5

Quelle 2

einblenden:
ausblenden:
Titel: CSLI Publications
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -