Benutzerbeiträge von „Stephan Mennicke“
Aus International Center for Computational Logic
Für Stephan Mennicke Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
14. Mai 2024
- 11:4611:46, 14. Mai 2024 Unterschied Versionen +142 Bytes Theoretische Informatik und Logik (SS2024) sheet no. 6
- 11:4511:45, 14. Mai 2024 Unterschied Versionen 0 Bytes N Datei:TheoLog24-Uebung06.pdf Keine Bearbeitungszusammenfassung aktuell
- 09:0109:01, 14. Mai 2024 Unterschied Versionen +31 Bytes Concurrency Theory (SS2024) Keine Bearbeitungszusammenfassung aktuell
- 09:0009:00, 14. Mai 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-E04-sos.pdf Keine Bearbeitungszusammenfassung aktuell
- 08:5908:59, 14. Mai 2024 Unterschied Versionen +14 Bytes Concurrency Theory (SS2024) slides added
8. Mai 2024
- 13:5613:56, 8. Mai 2024 Unterschied Versionen +18 Bytes Concurrency Theory (SS2024) Keine Bearbeitungszusammenfassung
- 13:5613:56, 8. Mai 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-E03-ccpo.pdf Keine Bearbeitungszusammenfassung aktuell
7. Mai 2024
- 08:5608:56, 7. Mai 2024 Unterschied Versionen +30 Bytes Concurrency Theory (SS2024) structural operational semantics slides
- 08:5508:55, 7. Mai 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-05-sos.pdf Keine Bearbeitungszusammenfassung aktuell
6. Mai 2024
- 12:5212:52, 6. Mai 2024 Unterschied Versionen 0 Bytes Datei:TheoLog24-Uebung-05.pdf Stephan Mennicke lud eine neue Version von Datei:TheoLog24-Uebung-05.pdf hoch aktuell
5. Mai 2024
- 21:2721:27, 5. Mai 2024 Unterschied Versionen +143 Bytes Theoretische Informatik und Logik (SS2024) Keine Bearbeitungszusammenfassung
- 21:2721:27, 5. Mai 2024 Unterschied Versionen 0 Bytes N Datei:TheoLog24-Uebung-05.pdf Keine Bearbeitungszusammenfassung
3. Mai 2024
- 22:5622:56, 3. Mai 2024 Unterschied Versionen +68 Bytes Concurrency Theory (SS2024) mild schedule update
29. April 2024
- 09:1209:12, 29. Apr. 2024 Unterschied Versionen +143 Bytes Theoretische Informatik und Logik (SS2024) exercise no. 4
- 09:1109:11, 29. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:TheoLog24-Uebung-04.pdf Keine Bearbeitungszusammenfassung aktuell
26. April 2024
- 08:5508:55, 26. Apr. 2024 Unterschied Versionen +13 Bytes Concurrency Theory (SS2024) exercise sheet #2
- 08:5408:54, 26. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-E02-fixedpoints.pdf Keine Bearbeitungszusammenfassung aktuell
24. April 2024
- 11:0311:03, 24. Apr. 2024 Unterschied Versionen 0 Bytes Datei:CONCUR24-04-directstyle.pdf Stephan Mennicke lud eine neue Version von Datei:CONCUR24-04-directstyle.pdf hoch aktuell
- 11:0011:00, 24. Apr. 2024 Unterschied Versionen −2 Bytes Concurrency Theory (SS2024) mild change
23. April 2024
- 09:1309:13, 23. Apr. 2024 Unterschied Versionen +38 Bytes Concurrency Theory (SS2024) upload slides (jbl)
- 09:1209:12, 23. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-04-directstyle.pdf Keine Bearbeitungszusammenfassung
22. April 2024
- 14:5014:50, 22. Apr. 2024 Unterschied Versionen +65 Bytes Formale Systeme (WS2023) Keine Bearbeitungszusammenfassung aktuell
- 14:4714:47, 22. Apr. 2024 Unterschied Versionen +58 Bytes Formale Systeme (WS2023) Keine Bearbeitungszusammenfassung
- 14:4614:46, 22. Apr. 2024 Unterschied Versionen +284 Bytes Formale Systeme (WS2023) Klausureinsicht
18. April 2024
- 21:4221:42, 18. Apr. 2024 Unterschied Versionen +142 Bytes Theoretische Informatik und Logik (SS2024) sheet no. 3
- 21:4221:42, 18. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:TheoLog24-Uebung03.pdf Keine Bearbeitungszusammenfassung aktuell
16. April 2024
- 19:5019:50, 16. Apr. 2024 Unterschied Versionen +531 Bytes Theoretische Informatik und Logik (SS2024) hybride Zusatzübung
- 14:0914:09, 16. Apr. 2024 Unterschied Versionen +36 Bytes Concurrency Theory (SS2024) lecture slides
- 14:0914:09, 16. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-03-semantics.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:5813:58, 16. Apr. 2024 Unterschied Versionen +9 Bytes Concurrency Theory (SS2024) schedule update
15. April 2024
- 13:0813:08, 15. Apr. 2024 Unterschied Versionen +40 Bytes Concurrency Theory (SS2024) exercise sheet #1
- 13:0813:08, 15. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-E01-bisimulation.pdf Keine Bearbeitungszusammenfassung aktuell
12. April 2024
- 13:5713:57, 12. Apr. 2024 Unterschied Versionen +27 Bytes Inproceedings3363 PDF upload aktuell
- 13:5713:57, 12. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:RR23-N3Rules.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:5413:54, 12. Apr. 2024 Unterschied Versionen +35 Bytes Inproceedings3364 paper uploaded aktuell
- 13:5413:54, 12. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:RR23-abstractDomains.pdf Keine Bearbeitungszusammenfassung aktuell
- 10:0710:07, 12. Apr. 2024 Unterschied Versionen 0 Bytes Datei:TheoLog24-Uebung01.pdf Stephan Mennicke lud eine neue Version von Datei:TheoLog24-Uebung01.pdf hoch aktuell
- 10:0610:06, 12. Apr. 2024 Unterschied Versionen −6 Bytes Theoretische Informatik und Logik (SS2024) Keine Bearbeitungszusammenfassung
- 10:0510:05, 12. Apr. 2024 Unterschied Versionen +148 Bytes Theoretische Informatik und Logik (SS2024) 2nd exercise sheet
- 10:0510:05, 12. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:TheoLog24-Uebung02.pdf Keine Bearbeitungszusammenfassung aktuell
- 10:0210:02, 12. Apr. 2024 Unterschied Versionen +136 Bytes Projekte und Studienarbeiten Wissensbasierte Systeme topic announcement for summer aktuell
- 09:2409:24, 12. Apr. 2024 Unterschied Versionen +78 Bytes Concurrency Theory (SS2024) uploaded first two slide decks
- 09:2409:24, 12. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-02-Bisimulation.pdf Keine Bearbeitungszusammenfassung aktuell
- 09:2309:23, 12. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:CONCUR24-01-Introduction.pdf Keine Bearbeitungszusammenfassung aktuell
11. April 2024
- 10:5010:50, 11. Apr. 2024 Unterschied Versionen −4 Bytes Concurrency Theory (SS2024) Keine Bearbeitungszusammenfassung
10. April 2024
- 14:2014:20, 10. Apr. 2024 Unterschied Versionen 0 Bytes Theoretische Informatik und Logik (SS2024) Keine Bearbeitungszusammenfassung
9. April 2024
- 11:5211:52, 9. Apr. 2024 Unterschied Versionen −8 Bytes Concurrency Theory (SS2024) minor update
8. April 2024
- 14:2314:23, 8. Apr. 2024 Unterschied Versionen −165 Bytes Theoretische Informatik und Logik (SS2024) Keine Bearbeitungszusammenfassung
- 11:5611:56, 8. Apr. 2024 Unterschied Versionen 0 Bytes Theoretische Informatik und Logik (SS2024) Keine Bearbeitungszusammenfassung
- 11:5511:55, 8. Apr. 2024 Unterschied Versionen +11 Bytes N HÜL/S386/en Page created automatically by parser function on page HÜL/S386 aktuell