Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  First-Order Orbit Queries

Almagor, S., Ouaknine, J., & Worrell, J. (2021). First-Order Orbit Queries. Theory of Computing Systems, 65, 638-661. doi:10.1007/s00224-020-09976-7.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0009-2F34-9 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0009-54B0-1
Genre: Zeitschriftenartikel

Dateien

einblenden: Dateien
ausblenden: Dateien
:
fooq20.pdf (Preprint), 466KB
Öffnen   Speichern
Datei-Permalink:
https://hdl.handle.net/21.11116/0000-0009-54B1-0
Name:
fooq20.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Öffentlich
MIME-Typ / Prüfsumme:
application/pdf / [MD5]
Technische Metadaten:
Öffnen
Copyright Datum:
-
Copyright Info:
This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Theory of Computing Systems Vol. 65, http://dx.doi.org/10.1007/s00224-020-09976-7
Lizenz:
-

Externe Referenzen

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

Urheber

einblenden:
ausblenden:
 Urheber:
Almagor, Shaull1, Autor
Ouaknine, Joël2, Autor           
Worrell, James1, Autor
Affiliations:
1External Organizations, ou_persistent22              
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20202021
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Almagor2021TCS
DOI: 10.1007/s00224-020-09976-7
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden: ausblenden:
Projektname : AVS-ISS
Grant ID : 648701
Förderprogramm : Horizon 2020 (H2020)
Förderorganisation : European Commission (EC)

Quelle 1

einblenden:
ausblenden:
Titel: Theory of Computing Systems
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York, NY : Springer
Seiten: - Band / Heft: 65 Artikelnummer: - Start- / Endseite: 638 - 661 Identifikator: ISSN: 1432-4350
CoNE: https://pure.mpg.de/cone/journals/resource/954926948774