Letzte Änderungen
Aus International Center for Computational Logic
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
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
16. September 2026
|
|
14:01 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) 2 Änderungen Versionsgeschichte −7 [Andrea Kühn (2×)] | |||
|
|
14:01 (Aktuell | Vorherige) −4 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:35 (Aktuell | Vorherige) −3 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:59 | Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) 2 Änderungen Versionsgeschichte +10 [Andrea Kühn (2×)] | |||
|
|
13:59 (Aktuell | Vorherige) +3 Andrea Kühn Diskussion Beiträge | ||||
|
|
12:43 (Aktuell | Vorherige) +7 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:58 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte −3 [Andrea Kühn (3×)] | |||
|
|
13:58 (Aktuell | Vorherige) −10 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:46 (Aktuell | Vorherige) +10 Andrea Kühn Diskussion Beiträge | ||||
|
|
13:44 (Aktuell | Vorherige) −3 Andrea Kühn Diskussion Beiträge | ||||
|
|
12:28 | Lecture Modal Logic (WS2026) 2 Änderungen Versionsgeschichte +5 [Andrea Kühn (2×)] | |||
|
|
12:28 (Aktuell | Vorherige) +2 Andrea Kühn Diskussion Beiträge | ||||
|
|
12:27 (Aktuell | Vorherige) +3 Andrea Kühn Diskussion Beiträge | ||||
| 12:17 | Lecture Model Checking (WS2026) UnterschiedVersionen +3 Andrea Kühn Diskussion Beiträge | ||||
15. September 2026
|
|
13:13 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte −31 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:13 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:47 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:30 (Aktuell | Vorherige) −32 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:10 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte −30 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:10 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:47 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:32 (Aktuell | Vorherige) −31 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:08 | Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) 2 Änderungen Versionsgeschichte −33 [Sascha Klüppelholz; Andrea Kühn] | |||
|
|
13:08 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:34 (Aktuell | Vorherige) −33 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:05 | Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte +53 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
13:05 (Aktuell | Vorherige) +3 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:42 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:40 (Aktuell | Vorherige) +49 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:04 | Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik (WS2026) 4 Änderungen Versionsgeschichte −25 [Andrea Kühn; Sascha Klüppelholz (3×)] | |||
|
|
13:04 (Aktuell | Vorherige) 0 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:46 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:28 (Aktuell | Vorherige) +51 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:23 (Aktuell | Vorherige) −77 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
13:00 | Seminar Selected Topics in Logic and Verification (WS2026) 4 Änderungen Versionsgeschichte −38 [Sascha Klüppelholz (2×); Andrea Kühn (2×)] | |||
|
|
13:00 (Aktuell | Vorherige) +22 Andrea Kühn Diskussion Beiträge | ||||
|
|
12:59 (Aktuell | Vorherige) −4 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:45 (Aktuell | Vorherige) 0 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:20 (Aktuell | Vorherige) −56 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
12:54 | Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte +34 [Andrea Kühn; Sascha Klüppelholz (2×)] | |||
|
|
12:54 (Aktuell | Vorherige) −1 Andrea Kühn Diskussion Beiträge | ||||
|
|
11:49 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:38 (Aktuell | Vorherige) +34 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:44 | Proseminar Theoretische Informatik (WS2026) 3 Änderungen Versionsgeschichte −67 [Sascha Klüppelholz (3×)] | |||
|
|
11:44 (Aktuell | Vorherige) +1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:43 (Aktuell | Vorherige) −1 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:13 (Aktuell | Vorherige) −67 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:44 | Seminar Games and Graphs (WS2026) 2 Änderungen Versionsgeschichte −67 [Sascha Klüppelholz (2×)] | |||
|
|
11:44 (Aktuell | Vorherige) 0 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:17 (Aktuell | Vorherige) −67 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:42 | Proseminar Binäre Entscheidungsgraphen (WS2026) 2 Änderungen Versionsgeschichte −67 [Sascha Klüppelholz (2×)] | |||
|
|
11:42 (Aktuell | Vorherige) 0 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
11:11 (Aktuell | Vorherige) −67 Sascha Klüppelholz Diskussion Beiträge | ||||
|
|
09:06 | Theoretische Informatik und Logik (SS2026) 2 Änderungen Versionsgeschichte +436 [Stephan Mennicke (2×)] | |||
|
|
09:06 (Aktuell | Vorherige) +176 Stephan Mennicke Diskussion Beiträge | ||||
|
|
08:59 (Aktuell | Vorherige) +260 Stephan Mennicke Diskussion Beiträge (Klausureinsicht) | ||||
|
|
09:05 | Formale Systeme (WS2025) 3 Änderungen Versionsgeschichte +453 [Stephan Mennicke (3×)] | |||
|
|
09:05 (Aktuell | Vorherige) +4 Stephan Mennicke Diskussion Beiträge | ||||
|
|
09:05 (Aktuell | Vorherige) +19 Stephan Mennicke Diskussion Beiträge (Raum) | ||||
|
|
09:01 (Aktuell | Vorherige) +430 Stephan Mennicke Diskussion Beiträge (Klausureinsicht) | ||||
11. September 2026
|
|
N 13:28 | Techreport3063 2 Änderungen Versionsgeschichte +1.763 [Tim Lyon (2×)] | |||
|
|
13:28 (Aktuell | Vorherige) +27 Tim Lyon Diskussion Beiträge | ||||
| N |
|
12:27 (Aktuell | Vorherige) +1.736 Tim Lyon Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Lukas Zenger }} {{Techreport |Title=Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents |Year=2026 |Institution=TU Dresden |Note=Full, Appended Version }} {{Publikation Details |Abstract=We introduce the formalism of non-wellfounded and cyclic linear nested sequent calculi, developing concrete systems for linear tempor…“) | |||
| 08:29 | Proseminar Theoretische Informatik (WS2026) UnterschiedVersionen 0 Johannes Lehmann Diskussion Beiträge | ||||
| 08:28 | Seminar Selected Topics in Logic and Verification (WS2026) UnterschiedVersionen +126 Johannes Lehmann Diskussion Beiträge | ||||
| 08:28 | Seminar Games and Graphs (WS2026) UnterschiedVersionen +126 Johannes Lehmann Diskussion Beiträge | ||||
| 08:25 | Proseminar Binäre Entscheidungsgraphen (WS2026) UnterschiedVersionen +215 Johannes Lehmann Diskussion Beiträge | ||||
