Benutzerbeiträge von „Tim Lyon“
Aus International Center for Computational Logic
Für Tim Lyon Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
13. Juni 2024
- 07:5407:54, 13. Jun. 2024 Unterschied Versionen +114 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung aktuell
8. Juni 2024
- 08:5208:52, 8. Jun. 2024 Unterschied Versionen +227 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
5. Juni 2024
- 18:3118:31, 5. Jun. 2024 Unterschied Versionen +1 Byte Inproceedings3381 Keine Bearbeitungszusammenfassung aktuell
- 18:3118:31, 5. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:LICS24-OstLyo.pdf Keine Bearbeitungszusammenfassung aktuell
30. Mai 2024
- 08:3908:39, 30. Mai 2024 Unterschied Versionen +113 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
23. Mai 2024
- 10:1810:18, 23. Mai 2024 Unterschied Versionen +113 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
- 10:1510:15, 23. Mai 2024 Unterschied Versionen −113 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
20. Mai 2024
- 18:1518:15, 20. Mai 2024 Unterschied Versionen +1 Byte Inproceedings3379 Keine Bearbeitungszusammenfassung aktuell
- 16:4516:45, 20. Mai 2024 Unterschied Versionen +31 Bytes N Inproceedings3381/en Page created automatically by parser function on page Inproceedings3381 aktuell Markierung: Neue Weiterleitung
- 16:4516:45, 20. Mai 2024 Unterschied Versionen +1.531 Bytes N Inproceedings3381 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Piotr |ErsterAutorNachname=Ostropolski-Nalewaja |FurtherAuthors=Tim Lyon }} {{Inproceedings |Referiert=1 |Title=Decidability of Quasi-Dense Modal Logics |To appear=0 |Year=2024 |Booktitle=Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) |Publisher=ACM }} {{Publikation Details |Abstract=The decidability of axiomatic extensions of the modal logic K with modal reduction…“
- 16:4416:44, 20. Mai 2024 Unterschied Versionen 0 Bytes N Datei:LICS24 Paper.pdf Keine Bearbeitungszusammenfassung aktuell
- 16:3916:39, 20. Mai 2024 Unterschied Versionen 0 Bytes N Datei:LICS24.pdf Keine Bearbeitungszusammenfassung aktuell
11. Mai 2024
- 17:5117:51, 11. Mai 2024 Unterschied Versionen +226 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
2. Mai 2024
- 10:1510:15, 2. Mai 2024 Unterschied Versionen +113 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
- 10:1510:15, 2. Mai 2024 Unterschied Versionen −113 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
1. Mai 2024
- 09:0009:00, 1. Mai 2024 Unterschied Versionen +226 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
25. April 2024
- 07:5507:55, 25. Apr. 2024 Unterschied Versionen +113 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
24. April 2024
- 14:3914:39, 24. Apr. 2024 Unterschied Versionen +31 Bytes N Inproceedings3379/en Page created automatically by parser function on page Inproceedings3379 aktuell Markierung: Neue Weiterleitung
- 14:3914:39, 24. Apr. 2024 Unterschied Versionen +1.486 Bytes N Inproceedings3379 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents |To appear=1 |Year=2024 |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We introduce a constructive met…“
- 14:3714:37, 24. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:IJCAI24-Lyon-Karge.pdf Keine Bearbeitungszusammenfassung aktuell
18. April 2024
- 16:0816:08, 18. Apr. 2024 Unterschied Versionen −1 Byte Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
- 16:0816:08, 18. Apr. 2024 Unterschied Versionen +1 Byte Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
- 16:0816:08, 18. Apr. 2024 Unterschied Versionen +10 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
- 16:0716:07, 18. Apr. 2024 Unterschied Versionen −5 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
- 16:0716:07, 18. Apr. 2024 Unterschied Versionen +2 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
- 16:0716:07, 18. Apr. 2024 Unterschied Versionen +4 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
- 16:0516:05, 18. Apr. 2024 Unterschied Versionen +226 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
15. April 2024
- 14:2014:20, 15. Apr. 2024 Unterschied Versionen +143 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
6. April 2024
- 12:0212:02, 6. Apr. 2024 Unterschied Versionen +50 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
5. April 2024
- 06:5106:51, 5. Apr. 2024 Unterschied Versionen −153 Bytes Proof Theory and Sequent Systems (SS2024) Keine Bearbeitungszusammenfassung
4. April 2024
- 15:1615:16, 4. Apr. 2024 Unterschied Versionen +2.096 Bytes N Proof Theory and Sequent Systems (SS2024) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |Year=2024 |Module=CMS-LM-ADV, CMS-LM-MOC, INF-BAS6, INF-PM-FOR, INF-VERT6 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are d…“
- 15:1215:12, 4. Apr. 2024 Unterschied Versionen +2.096 Bytes N Proof Theory and Sequent Systems (SS2024)/en Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |Year=2024 |Module=CMS-LM-ADV, CMS-LM-MOC, INF-BAS6, INF-PM-FOR, INF-VERT6 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are d…“
- 14:4814:48, 4. Apr. 2024 Unterschied Versionen +2.096 Bytes N Proof Theory and Sequent Systems (SS2024)/en Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |Year=2024 |Module=CMS-LM-ADV, CMS-LM-MOC, INF-BAS6, INF-PM-FOR, INF-VERT6 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are d…“
4. Oktober 2023
- 12:2312:23, 4. Okt. 2023 Unterschied Versionen +44 Bytes Inproceedings3355 Keine Bearbeitungszusammenfassung aktuell
- 12:2312:23, 4. Okt. 2023 Unterschied Versionen 0 Bytes N Datei:KR 2023 Short Paper Talk - Lyon.pdf Keine Bearbeitungszusammenfassung aktuell
- 12:2212:22, 4. Okt. 2023 Unterschied Versionen +24 Bytes Inproceedings3360 Keine Bearbeitungszusammenfassung aktuell
- 12:2212:22, 4. Okt. 2023 Unterschied Versionen 0 Bytes N Datei:Talk - Lyon.pdf Keine Bearbeitungszusammenfassung aktuell
- 12:2012:20, 4. Okt. 2023 Unterschied Versionen +55 Bytes Inproceedings3360 Keine Bearbeitungszusammenfassung
- 12:1412:14, 4. Okt. 2023 Unterschied Versionen +45 Bytes Inproceedings3355 Keine Bearbeitungszusammenfassung
- 12:1312:13, 4. Okt. 2023 Unterschied Versionen +45 Bytes Inproceedings3351 Keine Bearbeitungszusammenfassung aktuell
- 12:1012:10, 4. Okt. 2023 Unterschied Versionen +76 Bytes Article3093 Keine Bearbeitungszusammenfassung aktuell
17. Juli 2023
- 15:4515:45, 17. Jul. 2023 Unterschied Versionen +24 Bytes Inproceedings3361 Keine Bearbeitungszusammenfassung
- 15:4515:45, 17. Jul. 2023 Unterschied Versionen 0 Bytes N Datei:Jelia23LR.pdf Keine Bearbeitungszusammenfassung aktuell
- 15:4215:42, 17. Jul. 2023 Unterschied Versionen 0 Bytes N Datei:Jelia23.pdf Keine Bearbeitungszusammenfassung aktuell
- 10:0110:01, 17. Jul. 2023 Unterschied Versionen −25 Bytes Article3093 Keine Bearbeitungszusammenfassung
16. Juli 2023
- 16:3516:35, 16. Jul. 2023 Unterschied Versionen +31 Bytes N Inproceedings3361/en Page created automatically by parser function on page Inproceedings3361 aktuell Markierung: Neue Weiterleitung
- 16:3516:35, 16. Jul. 2023 Unterschied Versionen +1.261 Bytes N Inproceedings3361 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Derivatio…“
- 16:3416:34, 16. Jul. 2023 Unterschied Versionen +5 Bytes Inproceedings3360 Keine Bearbeitungszusammenfassung
- 16:2916:29, 16. Jul. 2023 Unterschied Versionen −3 Bytes Inproceedings3360 Keine Bearbeitungszusammenfassung
- 16:2616:26, 16. Jul. 2023 Unterschied Versionen +35 Bytes Inproceedings3360 Keine Bearbeitungszusammenfassung