Benutzerbeiträge von „Tim Lyon“
Aus International Center for Computational Logic
Ergebnisse für Tim Lyon Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 267 Bearbeitungen. Das Konto wurde am 11. November 2020 erstellt.
13. Mai 2025
- 17:0017:00, 13. Mai 2025 Unterschied Versionen −2 Article3103 Keine Bearbeitungszusammenfassung aktuell
- 16:5916:59, 13. Mai 2025 Unterschied Versionen +6 Article3103 Keine Bearbeitungszusammenfassung
- 16:5916:59, 13. Mai 2025 Unterschied Versionen +61 Article3103 Keine Bearbeitungszusammenfassung
28. März 2025
- 12:1612:16, 28. Mär. 2025 Unterschied Versionen +58 Thema3516 Keine Bearbeitungszusammenfassung aktuell
- 12:1512:15, 28. Mär. 2025 Unterschied Versionen −2 Thema3516 Keine Bearbeitungszusammenfassung
- 12:1512:15, 28. Mär. 2025 Unterschied Versionen −1 Thema3515 Keine Bearbeitungszusammenfassung aktuell
- 12:1412:14, 28. Mär. 2025 Unterschied Versionen +22 N Thema3516/en Page created automatically by parser function on page Thema3516 aktuell
- 12:1412:14, 28. Mär. 2025 Unterschied Versionen +2.430 N Thema3516 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=A Simplified Tableau Calculus for Standpoint LTL |Titel EN=A Simplified Tableau Calculus for Standpoint LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik, die zur Untersuchung temporaler Eigenschaften in der Informatik verwendet wird, während die Standpunktlogik (SL) eine kürzlich einge…“
- 12:1412:14, 28. Mär. 2025 Unterschied Versionen 0 N Datei:Thesis Topic Simplified Tableaux for SLTL.pdf Keine Bearbeitungszusammenfassung aktuell
- 12:1012:10, 28. Mär. 2025 Unterschied Versionen +1 Thema3515 Keine Bearbeitungszusammenfassung
- 12:1012:10, 28. Mär. 2025 Unterschied Versionen +2 Thema3515 Keine Bearbeitungszusammenfassung
- 12:0912:09, 28. Mär. 2025 Unterschied Versionen +287 Thema3515 Keine Bearbeitungszusammenfassung
- 12:0812:08, 28. Mär. 2025 Unterschied Versionen −3 Thema3515 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
- 12:0712:07, 28. Mär. 2025 Unterschied Versionen +2 Thema3515 Keine Bearbeitungszusammenfassung
- 12:0712:07, 28. Mär. 2025 Unterschied Versionen +1 Thema3515 Keine Bearbeitungszusammenfassung
- 12:0712:07, 28. Mär. 2025 Unterschied Versionen +2 Thema3515 Keine Bearbeitungszusammenfassung
- 12:0612:06, 28. Mär. 2025 Unterschied Versionen +6 Thema3515 Keine Bearbeitungszusammenfassung
- 12:0512:05, 28. Mär. 2025 Unterschied Versionen +22 N Thema3515/en Page created automatically by parser function on page Thema3515 aktuell
- 12:0512:05, 28. Mär. 2025 Unterschied Versionen +2.192 N Thema3515 Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Ill-Founded Linear Nested Sequents for LTL |Titel EN=Ill-Founded Linear Nested Sequents for LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Ergebnisse=Thesis Topic Ill-Founded Sequent System for LTL.pdf |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik zur Untersuchung temporaler Eigenschaften in der Informatik, insbesondere in der Pr…“
27. März 2025
- 15:3915:39, 27. Mär. 2025 Unterschied Versionen 0 N Datei:Thesis Topic Ill-Founded Sequent System for LTL.pdf Keine Bearbeitungszusammenfassung aktuell
26. März 2025
- 18:4118:41, 26. Mär. 2025 Unterschied Versionen +125 Inproceedings3404 Keine Bearbeitungszusammenfassung aktuell
3. März 2025
- 16:5716:57, 3. Mär. 2025 Unterschied Versionen +25 N Article3103/en Page created automatically by parser function on page Article3103 aktuell Markierung: Neue Weiterleitung
- 16:5716:57, 3. Mär. 2025 Unterschied Versionen +1.634 N Article3103 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake }} {{Article |Referiert=1 |Title=Internal and External Calculi: Ordering the Jungle without Being Lost in Translations |To appear=0 |Year=2025 |Journal=Bulletin of the Section of Logic }} {{Publikation Details |Abstract=This paper gi…“
19. Februar 2025
- 10:1210:12, 19. Feb. 2025 Unterschied Versionen 0 Inproceedings3403 Keine Bearbeitungszusammenfassung aktuell
- 10:1210:12, 19. Feb. 2025 Unterschied Versionen 0 Inproceedings3402 Keine Bearbeitungszusammenfassung aktuell
23. Januar 2025
- 18:5118:51, 23. Jan. 2025 Unterschied Versionen +34 Computational Logic Keine Bearbeitungszusammenfassung aktuell
6. Dezember 2024
- 07:5807:58, 6. Dez. 2024 Unterschied Versionen −4 Inproceedings3404 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
- 07:5807:58, 6. Dez. 2024 Unterschied Versionen +4 Inproceedings3404 Keine Bearbeitungszusammenfassung
- 06:3306:33, 6. Dez. 2024 Unterschied Versionen −43 Inproceedings3404 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
- 06:3206:32, 6. Dez. 2024 Unterschied Versionen +43 Inproceedings3404 Keine Bearbeitungszusammenfassung
- 06:3206:32, 6. Dez. 2024 Unterschied Versionen +39 Inproceedings3404 Keine Bearbeitungszusammenfassung
4. Dezember 2024
- 13:2713:27, 4. Dez. 2024 Unterschied Versionen +31 N Inproceedings3404/en Page created automatically by parser function on page Inproceedings3404 aktuell Markierung: Neue Weiterleitung
- 13:2713:27, 4. Dez. 2024 Unterschied Versionen +1.316 N Inproceedings3404 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon }} {{Inproceedings |Referiert=1 |Title=On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic |To appear=1 |Year=2025 |Booktitle=Proceedings of the Eleventh International Conference on Fundamentals of Software Engineering (FSEN) |Publisher=Springer |Series=LNCS }} {{Publikation Details |Abstract=Propositional dynamic logic (PDL) is an important modal logic…“
25. November 2024
- 09:1409:14, 25. Nov. 2024 Unterschied Versionen −1.327 Inproceedings3286 Keine Bearbeitungszusammenfassung aktuell
- 09:1309:13, 25. Nov. 2024 Unterschied Versionen −962 Inproceedings3284 Keine Bearbeitungszusammenfassung aktuell
- 09:1209:12, 25. Nov. 2024 Unterschied Versionen −1.035 Inproceedings3285 Keine Bearbeitungszusammenfassung aktuell
- 09:1209:12, 25. Nov. 2024 Unterschied Versionen −836 Inproceedings3283 Keine Bearbeitungszusammenfassung aktuell
- 09:1109:11, 25. Nov. 2024 Unterschied Versionen −275 Article3074 Keine Bearbeitungszusammenfassung aktuell
- 09:1109:11, 25. Nov. 2024 Unterschied Versionen −1.168 Inproceedings3288 Keine Bearbeitungszusammenfassung aktuell
- 09:1009:10, 25. Nov. 2024 Unterschied Versionen −917 Inproceedings3287 Keine Bearbeitungszusammenfassung aktuell
- 09:0909:09, 25. Nov. 2024 Unterschied Versionen −1.527 Article3073 Keine Bearbeitungszusammenfassung aktuell
19. November 2024
- 10:0510:05, 19. Nov. 2024 Unterschied Versionen −2 Inproceedings3403 Keine Bearbeitungszusammenfassung
- 10:0410:04, 19. Nov. 2024 Unterschied Versionen +12 Inproceedings3403 Keine Bearbeitungszusammenfassung
- 10:0210:02, 19. Nov. 2024 Unterschied Versionen +10 Inproceedings3402 Keine Bearbeitungszusammenfassung
13. November 2024
- 14:5114:51, 13. Nov. 2024 Unterschied Versionen −6 Inproceedings3403 Keine Bearbeitungszusammenfassung
- 14:5114:51, 13. Nov. 2024 Unterschied Versionen +31 N Inproceedings3403/en Page created automatically by parser function on page Inproceedings3403 aktuell Markierung: Neue Weiterleitung
- 14:5114:51, 13. Nov. 2024 Unterschied Versionen +2.407 N Inproceedings3403 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon }} {{Inproceedings |Referiert=1 |Title=Unifying Sequent Systems for G{\"o}del-L{\"o}b Provability Logic via Syntactic Transformations |To appear=1 |Year=2025 |Booktitle=Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025 |Publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik |Editor=Jörg Endrullis, Sylvain Schmitz |Series=LIPIcs |Volume=326 }} {…“
- 14:4714:47, 13. Nov. 2024 Unterschied Versionen +31 N Inproceedings3402/en Page created automatically by parser function on page Inproceedings3402 aktuell Markierung: Neue Weiterleitung
- 14:4714:47, 13. Nov. 2024 Unterschied Versionen +2.244 N Inproceedings3402 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Ian Shillito; Alwen Tiu }} {{Inproceedings |Referiert=1 |Title=Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents |To appear=1 |Year=2025 |Booktitle=Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025 |Publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik |Editor=Jörg Endrullis, Sylv…“
18. Oktober 2024
- 08:3008:30, 18. Okt. 2024 Unterschied Versionen −7 Inproceedings3379 Keine Bearbeitungszusammenfassung
