Ä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
13. Mai 2024
11:10 | Theoretische Informatik und Logik (SS2024) UnterschiedVersionen +83 Bytes Markus Krötzsch Diskussion Beiträge |
10:23 | Algorithmic Game Theory (SS2024) UnterschiedVersionen +152 Bytes Hannes Straß Diskussion Beiträge |
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) |