Änderungen an verlinkten Seiten
Aus International Center for Computational Logic
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
6. Januar 2026
| N 11:07 | Techreport3054 UnterschiedVersionen +541 Tim Lyon Diskussion Beiträge (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…“) | ||||
