Katalog der Deutschen Nationalbibliothek

Neuigkeiten Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.
 
Neuigkeiten Leipzig: Freitag, 31. Oktober 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // Friday, 31 October 2025: The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: cod="rb"

Zurück zur Trefferliste


Treffer 459 von 750875 < < > <



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 459 von 750875
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration