Ä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
11. Mai 2024
17:51 | Proof Theory and Sequent Systems (SS2024) UnterschiedVersionen +226 Bytes Tim Lyon Diskussion Beiträge |
8. Mai 2024
14:48 | Algorithmic Game Theory (SS2024) UnterschiedVersionen +167 Bytes Hannes Straß Diskussion Beiträge |
13:56 | Concurrency Theory (SS2024) UnterschiedVersionen +18 Bytes Stephan Mennicke Diskussion Beiträge |
7. Mai 2024
08:56 | Concurrency Theory (SS2024) UnterschiedVersionen +30 Bytes Stephan Mennicke Diskussion Beiträge (structural operational semantics slides) |
6. Mai 2024
|
13:23 | Theoretische Informatik und Logik (SS2024) 3 Änderungen Versionsgeschichte +232 Bytes [Markus Krötzsch (3×)] | |||
|
13:23 (Aktuell | Vorherige) +5 Bytes Markus Krötzsch Diskussion Beiträge | ||||
|
11:00 (Aktuell | Vorherige) +37 Bytes Markus Krötzsch Diskussion Beiträge | ||||
|
10:57 (Aktuell | Vorherige) +190 Bytes Markus Krötzsch Diskussion Beiträge |
|
10:07 | Algorithmic Game Theory (SS2024) 2 Änderungen Versionsgeschichte +371 Bytes [Hannes Straß (2×)] | |||
|
10:07 (Aktuell | Vorherige) +208 Bytes Hannes Straß Diskussion Beiträge | ||||
|
10:02 (Aktuell | Vorherige) +163 Bytes Hannes Straß Diskussion Beiträge |