Änderungen an verlinkten Seiten
Aus International Center for Computational Logic
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
2. Oktober 2026
| N 06:47 | Inproceedings3470 UnterschiedVersionen +3.418 Timm Spork Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Sascha Klüppelholz; Timm Spork }} {{Inproceedings |Referiert=1 |Title=Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata |To appear=0 |Year=2026 |Month=August |Booktitle=37th International Conference on Concurrency Theory (CONCUR 2026) |Pages=15:1 - 15:19 |Publisher=Schloss Dagstuhl- Leibniz-Zentrum für Informatik |E…“) | ||||
