Benutzerbeiträge von „Tim Lyon“

25. April 2024

• 07:5507:55, 25. Apr. 2024 Unterschied Versionen +113 Bytes‎ Proof Theory and Sequent Systems (SS2024) ‎Keine Bearbeitungszusammenfassung aktuell

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…“ aktuell
• 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
• 16:2516:25, 16. Jul. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3360/en ‎ Page created automatically by parser function on page Inproceedings3360 aktuell Markierung: Neue Weiterleitung
• 16:2516:25, 16. Jul. 2023 Unterschied Versionen +1.133 Bytes‎ N Inproceedings3360 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim S. |ErsterAutorNachname=Lyon }} {{Inproceedings |Referiert=1 |Title=Nested Sequents for Quantified Modal Log…“
• 16:2316:23, 16. Jul. 2023 Unterschied Versionen 0 Bytes‎ N Datei:NestedSequentsQML.pdf ‎Keine Bearbeitungszusammenfassung aktuell

13. Juni 2023

• 11:3711:37, 13. Jun. 2023 Unterschied Versionen 0 Bytes‎ Article3092 ‎Keine Bearbeitungszusammenfassung aktuell
• 07:5607:56, 13. Jun. 2023 Unterschied Versionen 0 Bytes‎ Article3092 ‎Keine Bearbeitungszusammenfassung
• 07:5407:54, 13. Jun. 2023 Unterschied Versionen +25 Bytes‎ Article3093 ‎Keine Bearbeitungszusammenfassung
• 07:4407:44, 13. Jun. 2023 Unterschied Versionen +17 Bytes‎ Article3092 ‎Keine Bearbeitungszusammenfassung
• 07:4307:43, 13. Jun. 2023 Unterschied Versionen +75 Bytes‎ Article3092 ‎Keine Bearbeitungszusammenfassung
• 07:4207:42, 13. Jun. 2023 Unterschied Versionen +131 Bytes‎ Inproceedings3355 ‎Keine Bearbeitungszusammenfassung
• 07:4107:41, 13. Jun. 2023 Unterschied Versionen +25 Bytes‎ N Article3093/en ‎ Page created automatically by parser function on page Article3093 aktuell Markierung: Neue Weiterleitung
• 07:4107:41, 13. Jun. 2023 Unterschied Versionen +1.846 Bytes‎ N Article3093 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon }} {{Article |Referiert=1 |Title=Nested Sequents for Intermediate Logics: The Case…“
• 07:3407:34, 13. Jun. 2023 Unterschied Versionen +77 Bytes‎ N Matteo Pascucci/Abschlussarbeiten/en ‎ Page created automatically by parser function on page Matteo Pascucci aktuell
• 07:3407:34, 13. Jun. 2023 Unterschied Versionen +59 Bytes‎ N Matteo Pascucci/Abschlussarbeiten ‎ Page created automatically by parser function on page Matteo Pascucci aktuell
• 07:3407:34, 13. Jun. 2023 Unterschied Versionen +88 Bytes‎ N Matteo Pascucci/Publikationen/en ‎ Page created automatically by parser function on page Matteo Pascucci aktuell
• 07:3407:34, 13. Jun. 2023 Unterschied Versionen +70 Bytes‎ N Matteo Pascucci/Publikationen ‎ Page created automatically by parser function on page Matteo Pascucci aktuell
• 07:3407:34, 13. Jun. 2023 Unterschied Versionen +18 Bytes‎ N Matteo Pascucci/en ‎ Page created automatically by parser function on page Matteo Pascucci aktuell