Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Superposition for Lambda-Free Higher-Order Logic

Bentkamp, A., Blanchette, J., Cruanes, S., & Waldmann, U. (2021). Superposition for Lambda-Free Higher-Order Logic. Logical Methods in Computer Science, 17(2): 1, pp. 1-38. doi:10.23638/LMCS-17(2:1)2021.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0009-4AC7-4 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-3433-E
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Bentkamp, Alexander1, Autor
Blanchette, Jasmin1, Autor           
Cruanes, Simon1, Autor
Waldmann, Uwe2, 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: 2021
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Bentkamp2021
DOI: 10.23638/LMCS-17(2:1)2021
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Logical Methods in Computer Science
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: https://lmcs.episciences.org
Seiten: - Band / Heft: 17 (2) Artikelnummer: 1 Start- / Endseite: 1 - 38 Identifikator: -