Benutzerbeiträge von „Stephan Mennicke“
Aus International Center for Computational Logic
Für Stephan Mennicke Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
16. April 2025
- 12:1612:16, 16. Apr. 2025 Unterschied Versionen +52 Bytes Concurrency Theory (SS2025) second exercise sheet aktuell
- 12:1612:16, 16. Apr. 2025 Unterschied Versionen 0 Bytes N Datei:CONCUR25-Exercise-02-linear-branching.pdf Keine Bearbeitungszusammenfassung aktuell
15. April 2025
- 08:2408:24, 15. Apr. 2025 Unterschied Versionen +37 Bytes Concurrency Theory (SS2025) added lecture 3
- 08:2308:23, 15. Apr. 2025 Unterschied Versionen 0 Bytes N Datei:CONCUR-03-bisimilarity.pdf Keine Bearbeitungszusammenfassung aktuell
14. April 2025
- 10:1810:18, 14. Apr. 2025 Unterschied Versionen −919 Bytes Projekte und Studienarbeiten Wissensbasierte Systeme maintenance of OPAL discontinued aktuell
9. April 2025
- 15:3815:38, 9. Apr. 2025 Unterschied Versionen +41 Bytes Concurrency Theory (SS2025) sheet #1
- 15:3715:37, 9. Apr. 2025 Unterschied Versionen 0 Bytes N Datei:CONCUR25-Exercise-01-intro.pdf Keine Bearbeitungszusammenfassung aktuell
8. April 2025
- 13:0113:01, 8. Apr. 2025 Unterschied Versionen +29 Bytes Concurrency Theory (SS2025) updated schedule
- 12:5312:53, 8. Apr. 2025 Unterschied Versionen 0 Bytes Datei:CONCUR-02-bisimilarity.pdf Stephan Mennicke lud eine neue Version von Datei:CONCUR-02-bisimilarity.pdf hoch aktuell
- 10:1710:17, 8. Apr. 2025 Unterschied Versionen 0 Bytes Datei:CONCUR25-01-introduction.pdf Stephan Mennicke lud eine neue Version von Datei:CONCUR25-01-introduction.pdf hoch aktuell
- 10:1610:16, 8. Apr. 2025 Unterschied Versionen +37 Bytes Concurrency Theory (SS2025) add lecture 02
- 10:1610:16, 8. Apr. 2025 Unterschied Versionen 0 Bytes N Datei:CONCUR-02-bisimilarity.pdf Keine Bearbeitungszusammenfassung
4. April 2025
- 10:5810:58, 4. Apr. 2025 Unterschied Versionen +17 Bytes Concurrency Theory (SS2025) Keine Bearbeitungszusammenfassung
- 07:4507:45, 4. Apr. 2025 Unterschied Versionen +39 Bytes Concurrency Theory (SS2025) first slide deck
- 07:4407:44, 4. Apr. 2025 Unterschied Versionen 0 Bytes N Datei:CONCUR25-01-introduction.pdf Keine Bearbeitungszusammenfassung
1. April 2025
- 08:1508:15, 1. Apr. 2025 Unterschied Versionen +159 Bytes Projekte und Studienarbeiten Wissensbasierte Systeme student topics
27. März 2025
- 10:3810:38, 27. Mär. 2025 Unterschied Versionen +1.811 Bytes Techreport3053 updated aktuell
25. März 2025
- 11:0911:09, 25. Mär. 2025 Unterschied Versionen +380 Bytes Theoretische Informatik und Logik (SS2024) Klausureinsicht aktuell
- 10:5310:53, 25. Mär. 2025 Unterschied Versionen −8 Bytes Concurrency Theory (SS2025) schedule update
4. März 2025
- 10:0510:05, 4. Mär. 2025 Unterschied Versionen +3.939 Bytes Concurrency Theory (SS2025) added schedule
- 09:1309:13, 4. Mär. 2025 Unterschied Versionen +16 Bytes N Concurrency Theory (SS2025)/en Page created automatically by parser function on page Concurrency Theory (SS2025) aktuell
- 09:1309:13, 4. Mär. 2025 Unterschied Versionen +2.810 Bytes N Concurrency Theory (SS2025) created concurrency theory for summer term 2025
12. Februar 2025
- 10:1910:19, 12. Feb. 2025 Unterschied Versionen +743 Bytes Theoretische Informatik und Logik (SS2024) exam details + Lernraum
30. Januar 2025
- 13:1213:12, 30. Jan. 2025 Unterschied Versionen +24 Bytes Complexity Theory (WS2024) Keine Bearbeitungszusammenfassung aktuell
29. Januar 2025
- 10:3710:37, 29. Jan. 2025 Unterschied Versionen +56 Bytes Complexity Theory (WS2024) exercise no. 11
- 10:3710:37, 29. Jan. 2025 Unterschied Versionen 0 Bytes N Datei:CT2024-Exercise-11.pdf Keine Bearbeitungszusammenfassung aktuell
21. Januar 2025
- 11:1811:18, 21. Jan. 2025 Unterschied Versionen +6 Bytes Complexity Theory (WS2024) Keine Bearbeitungszusammenfassung
17. Januar 2025
- 11:1411:14, 17. Jan. 2025 Unterschied Versionen +22 Bytes Complexity Theory (WS2024) exercise sheet no. 10
- 11:1311:13, 17. Jan. 2025 Unterschied Versionen 0 Bytes N Datei:CT2024-Exercise-10.pdf Keine Bearbeitungszusammenfassung aktuell
7. Januar 2025
- 14:3414:34, 7. Jan. 2025 Unterschied Versionen +33 Bytes Complexity Theory (WS2024) exercise sheet no. 9
- 14:3314:33, 7. Jan. 2025 Unterschied Versionen 0 Bytes N Datei:CT2024-Exercise-09.pdf Keine Bearbeitungszusammenfassung aktuell
- 14:0414:04, 7. Jan. 2025 Unterschied Versionen +91 Bytes Complexity Theory (WS2024) updated examination dates
17. Dezember 2024
- 13:0613:06, 17. Dez. 2024 Unterschied Versionen +33 Bytes Complexity Theory (WS2024) 8th exercise sheet
- 13:0613:06, 17. Dez. 2024 Unterschied Versionen 0 Bytes N Datei:CT2024-Exercise-08.pdf Keine Bearbeitungszusammenfassung aktuell
9. Dezember 2024
- 14:5714:57, 9. Dez. 2024 Unterschied Versionen +142 Bytes Complexity Theory (WS2024) Keine Bearbeitungszusammenfassung
- 14:5414:54, 9. Dez. 2024 Unterschied Versionen −853 Bytes Complexity Theory (WS2024) changed schedule
5. Dezember 2024
- 12:2812:28, 5. Dez. 2024 Unterschied Versionen +637 Bytes Complexity Theory (WS2024) exam date
- 12:1712:17, 5. Dez. 2024 Unterschied Versionen +1 Byte Knowledge Graphs (WS2024) Keine Bearbeitungszusammenfassung
- 12:1112:11, 5. Dez. 2024 Unterschied Versionen +1 Byte Knowledge Graphs (WS2024) Keine Bearbeitungszusammenfassung
- 12:0912:09, 5. Dez. 2024 Unterschied Versionen +269 Bytes Knowledge Graphs (WS2024) examination date
3. Dezember 2024
- 10:2210:22, 3. Dez. 2024 Unterschied Versionen +33 Bytes Complexity Theory (WS2024) uploaded 7th exercise sheet
- 10:2110:21, 3. Dez. 2024 Unterschied Versionen 0 Bytes N Datei:CT2024-Exercise-07.pdf Keine Bearbeitungszusammenfassung aktuell
29. November 2024
- 10:5710:57, 29. Nov. 2024 Unterschied Versionen −20 Bytes Wissensbasierte Systeme New Group Photo aktuell
- 10:5710:57, 29. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:2024 kbs group.jpg Keine Bearbeitungszusammenfassung aktuell
22. November 2024
- 15:5515:55, 22. Nov. 2024 Unterschied Versionen 0 Bytes Datei:CT2024-Exercise-05.pdf Stephan Mennicke lud eine neue Version von Datei:CT2024-Exercise-05.pdf hoch aktuell
- 15:5315:53, 22. Nov. 2024 Unterschied Versionen +33 Bytes Complexity Theory (WS2024) added 6th exercise sheet
- 15:5215:52, 22. Nov. 2024 Unterschied Versionen 0 Bytes N Datei:CT2024-Exercise-06.pdf Keine Bearbeitungszusammenfassung aktuell
18. November 2024
- 11:0311:03, 18. Nov. 2024 Unterschied Versionen 0 Bytes Complexity Theory (WS2024) Room switching glitch fixed
12. November 2024
- 13:0413:04, 12. Nov. 2024 Unterschied Versionen +457 Bytes Complexity Theory (WS2024) announcement on the updated exercise schedule
- 09:5909:59, 12. Nov. 2024 Unterschied Versionen −125 Bytes Complexity Theory (WS2024) schedule update