Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.
 
 

Ergebnis der Suche nach: cod="ro"

Zurück zur Trefferliste


Treffer 257 von 268824 < < > <



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 257 von 268824
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration