Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Making Higher-Order Superposition Work

Vukmirović, P., Bentkamp, A., Blanchette, J., Cruanes, S., Nummelin, V., & Tourret, S. (2022). Making Higher-Order Superposition Work. Journal of Automated Reasoning, 66, 541-564. doi:10.1007/s10817-021-09613-z.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0009-F7A1-A Versions-Permalink: https://hdl.handle.net/21.11116/0000-000D-0B18-D
Genre: Zeitschriftenartikel

Externe Referenzen

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

Urheber

einblenden:
ausblenden:
 Urheber:
Vukmirović, Petar1, Autor
Bentkamp, Alexander1, Autor
Blanchette, Jasmin2, Autor           
Cruanes, Simon1, Autor
Nummelin, Visa1, Autor
Tourret, Sophie2, 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: 2022
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Vukmirovic2022
DOI: 10.1007/s10817-021-09613-z
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden: ausblenden:
Projektname : Matryoshka
Grant ID : 713999
Förderprogramm : Horizon 2020 (H2020)
Förderorganisation : European Commission (EC)

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Automated Reasoning
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York, NY : Springer
Seiten: 24 p. Band / Heft: 66 Artikelnummer: - Start- / Endseite: 541 - 564 Identifikator: ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948