Benutzerbeiträge von „Stephan Mennicke“

26. April 2024

• 08:5508:55, 26. Apr. 2024 Unterschied Versionen +13 Bytes‎ Concurrency Theory (SS2024) ‎ exercise sheet #2 aktuell
• 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
• 11:5511:55, 8. Apr. 2024 Unterschied Versionen +236 Bytes‎ N HÜL/S386 ‎ new room HÜL/S386 aktuell
• 11:5111:51, 8. Apr. 2024 Unterschied Versionen 0 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ linking HSZ/0002
• 11:4911:49, 8. Apr. 2024 Unterschied Versionen +142 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ exercise 1
• 11:4911:49, 8. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:TheoLog24-Uebung01.pdf ‎Keine Bearbeitungszusammenfassung

6. April 2024

• 20:1320:13, 6. Apr. 2024 Unterschied Versionen −117 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ update übungsgruppen

4. April 2024

• 11:4911:49, 4. Apr. 2024 Unterschied Versionen +119 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ offene Daten nachgetragen

3. April 2024

• 14:2114:21, 3. Apr. 2024 Unterschied Versionen +4.218 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ important dates

25. März 2024

• 09:0609:06, 25. Mär. 2024 Unterschied Versionen +16 Bytes‎ N Theorem Proving with LEAN (SS2024)/en ‎ Page created automatically by parser function on page Theorem Proving with LEAN (SS2024) aktuell
• 09:0609:06, 25. Mär. 2024 Unterschied Versionen +1.606 Bytes‎ N Theorem Proving with LEAN (SS2024) ‎ initialized LEAN for summer 2024 aktuell
• 09:0109:01, 25. Mär. 2024 Unterschied Versionen +33 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎Keine Bearbeitungszusammenfassung

29. Februar 2024

• 14:4014:40, 29. Feb. 2024 Unterschied Versionen +3.947 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ schedule
• 14:2614:26, 29. Feb. 2024 Unterschied Versionen +4.696 Bytes‎ Theoretische Informatik und Logik (SS2024) ‎ description and literature
• 14:2314:23, 29. Feb. 2024 Unterschied Versionen +16 Bytes‎ N Theoretische Informatik und Logik (SS2024)/en ‎ Page created automatically by parser function on page Theoretische Informatik und Logik (SS2024) aktuell
• 14:2314:23, 29. Feb. 2024 Unterschied Versionen +365 Bytes‎ N Theoretische Informatik und Logik (SS2024) ‎ initiated lecture on TheoInf
• 12:5512:55, 29. Feb. 2024 Unterschied Versionen +60 Bytes‎ Concurrency Theory (SS2024) ‎ fixed schedule once more (DS formatting)