Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: cod="ro"

Zurück zur Trefferliste


Treffer 99268 von 256202 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1366687019
Titel On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics / Raveendra Holla, Nabarun Deka, Deepak D'Souza
Person(en) Holla, Raveendra (Verfasser)
Deka, Nabarun (Verfasser)
D'Souza, Deepak (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2021
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-155562
DOI: 10.4230/LIPIcs.FSTTCS.2021.45
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.45 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2021, Volume 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), page 45:1-45:21
DDC-Notation 004.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 99268 von 256202
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration