Benutzerbeiträge von „Tim Lyon“

26. Februar 2026

• 11:2911:29, 26. Feb. 2026 Unterschied Versionen −192 Thema3519 Keine Bearbeitungszusammenfassung aktuell
• 11:2911:29, 26. Feb. 2026 Unterschied Versionen −56 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2611:26, 26. Feb. 2026 Unterschied Versionen +1.902 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2511:25, 26. Feb. 2026 Unterschied Versionen +103 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2411:24, 26. Feb. 2026 Unterschied Versionen +39 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2211:22, 26. Feb. 2026 Unterschied Versionen −7 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2211:22, 26. Feb. 2026 Unterschied Versionen +14 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2011:20, 26. Feb. 2026 Unterschied Versionen −53 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1911:19, 26. Feb. 2026 Unterschied Versionen −739 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1811:18, 26. Feb. 2026 Unterschied Versionen +763 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1711:17, 26. Feb. 2026 Unterschied Versionen +1.847 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1411:14, 26. Feb. 2026 Unterschied Versionen +35 K Thema3519 Keine Bearbeitungszusammenfassung
• 10:5910:59, 26. Feb. 2026 Unterschied Versionen +536 N Thema3519 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Titel EN=Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Bitte sehen Sie sich die beigefügte PDF-Datei an, die Sie über den „Download“-Link herunterladen können. |Beschreibung EN=Plea…“
• 10:5810:58, 26. Feb. 2026 Unterschied Versionen 0 N Datei:Thesis Topics Lyon.pdf Keine Bearbeitungszusammenfassung aktuell

13. Januar 2026

• 11:5311:53, 13. Jan. 2026 Unterschied Versionen +14 News109 Keine Bearbeitungszusammenfassung aktuell
• 11:5311:53, 13. Jan. 2026 Unterschied Versionen +1.728 N News109 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten |Titel EN=Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic |Beschreibung DE=Tim Lyon, Postdoktorand am ICCL, ist in das Herausgebergremium des Bulletin of the Section of Logic (BSL) aufgenommen worden. Die Zeitschrift ist eine hervorragende Adresse für Forschungsarbeiten im Bereich Logik, und interessierte Wissenschaft…“

11. Januar 2026

• 15:1915:19, 11. Jan. 2026 Unterschied Versionen +58 Article3099 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen +27 Inproceedings3402 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2404.15855v3.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen +31 Inproceedings3403 Keine Bearbeitungszusammenfassung aktuell
• 15:1615:16, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2410.24053v3 (2).pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1515:15, 11. Jan. 2026 Unterschied Versionen +27 Inproceedings3404 Keine Bearbeitungszusammenfassung aktuell
• 15:1515:15, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2412.04012v1.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1415:14, 11. Jan. 2026 Unterschied Versionen +27 Article3103 Keine Bearbeitungszusammenfassung aktuell
• 15:1415:14, 11. Jan. 2026 Unterschied Versionen 0 N Datei:2312.03426v2.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:1315:13, 11. Jan. 2026 Unterschied Versionen +53 Inproceedings3402 Keine Bearbeitungszusammenfassung
• 15:1215:12, 11. Jan. 2026 Unterschied Versionen +53 Inproceedings3403 Keine Bearbeitungszusammenfassung
• 15:1115:11, 11. Jan. 2026 Unterschied Versionen +74 Article3103 Keine Bearbeitungszusammenfassung
• 15:1015:10, 11. Jan. 2026 Unterschied Versionen +15 Techreport3054 Keine Bearbeitungszusammenfassung aktuell

6. Januar 2026

• 11:0711:07, 6. Jan. 2026 Unterschied Versionen +541 N Techreport3054 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Omar |ErsterAutorNachname=Taher |FurtherAuthors=Tim Lyon }} {{Techreport |Title=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Year=2025 |Institution=TU Dresden |Note=Report from Master's Project }} {{Publikation Details |Abstract=This paper introduces an EXPTIME decision procedure for the (in)validity of Gödel-Löb Provability Logic via a syntactic variant of the Tree-Hyperseque…“
• 11:0611:06, 6. Jan. 2026 Unterschied Versionen 0 N Datei:GL-Project .pdf Keine Bearbeitungszusammenfassung aktuell
• 10:5710:57, 6. Jan. 2026 Unterschied Versionen 0 N Datei:GL-Project download.pdf Keine Bearbeitungszusammenfassung aktuell

18. Dezember 2025

• 13:4613:46, 18. Dez. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung aktuell

6. Dezember 2025

• 15:0215:02, 6. Dez. 2025 Unterschied Versionen +339 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

21. November 2025

• 08:0308:03, 21. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

14. November 2025

• 10:2010:20, 14. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

10. November 2025

• 11:5111:51, 10. Nov. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

24. Oktober 2025

• 09:1409:14, 24. Okt. 2025 Unterschied Versionen +113 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung

7. Oktober 2025

• 11:2111:21, 7. Okt. 2025 Unterschied Versionen +2.246 N Proof Theory and Sequent Systems (WS2025) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=WS |Year=2025 |Module=INF-25-Ma-FTK-ASAI, INF-BAS2, INF-VERT2 |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 defined as synt…“

2. September 2025

• 12:2512:25, 2. Sep. 2025 Unterschied Versionen −27 Thema3517 Keine Bearbeitungszusammenfassung aktuell
• 12:2512:25, 2. Sep. 2025 Unterschied Versionen 0 Datei:GL-Project.pdf Tim Lyon lud eine neue Version von Datei:GL-Project.pdf hoch aktuell
• 12:2312:23, 2. Sep. 2025 Unterschied Versionen −2 Thema3517 Keine Bearbeitungszusammenfassung
• 12:2212:22, 2. Sep. 2025 Unterschied Versionen 0 Datei:GL-Project.pdf Tim Lyon lud eine neue Version von Datei:GL-Project.pdf hoch
• 12:2012:20, 2. Sep. 2025 Unterschied Versionen −2 Thema3517 Keine Bearbeitungszusammenfassung
• 12:2012:20, 2. Sep. 2025 Unterschied Versionen −2 Thema3517 Keine Bearbeitungszusammenfassung
• 12:1112:11, 2. Sep. 2025 Unterschied Versionen +65 Thema3517 Keine Bearbeitungszusammenfassung
• 12:0812:08, 2. Sep. 2025 Unterschied Versionen +735 N Thema3517 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Titel EN=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Vorname=Omar |Nachname=Y. A. A. Taher |Abschlussarbeitstyp=Studienarbeit |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Abgeschlossen |Beschreibung DE=This paper introduces an EXPTIME decision procedure for (in)validity for the Gödel-L…“
• 12:0612:06, 2. Sep. 2025 Unterschied Versionen 0 N Datei:GL-Project.pdf Keine Bearbeitungszusammenfassung

13. Mai 2025

• 17:0017:00, 13. Mai 2025 Unterschied Versionen −2 Article3103 Keine Bearbeitungszusammenfassung
• 16:5916:59, 13. Mai 2025 Unterschied Versionen +6 Article3103 Keine Bearbeitungszusammenfassung