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 109 von 256324 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1367267439
Titel A Complete Inference System for Probabilistic Infinite Trace Equivalence / Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova
Person(en) Cîrstea, Corina (Verfasser)
Moss, Lawrence S. (Verfasser)
Noquez, Victoria (Verfasser)
Schmid, Todd (Verfasser)
Silva, Alexandra (Verfasser)
Sokolova, Ana (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2025
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-227870
DOI: 10.4230/LIPIcs.CSL.2025.30
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.30 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2025, Volume 326, 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), page 30:1-30:23
DDC-Notation 511.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 109 von 256324
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration