Benutzerbeiträge von „Sebastian Rudolph“

Aus International Center for Computational Logic
Ein Benutzer mit 2.427 Bearbeitungen. Das Konto wurde am 13. Oktober 2014 erstellt.
Wechseln zu:Navigation, Suche
Suche nach BenutzerbeiträgenAusklappenEinklappen
⧼contribs-top⧽
⧼contribs-date⧽
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)

27. Dezember 2025

22. Dezember 2025

15. Dezember 2025

12. Dezember 2025

10. Dezember 2025

  • 17:0417:04, 10. Dez. 2025 Unterschied Versionen +1.731 N Article3118 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Manuel |ErsterAutorNachname=Bodirsky |FurtherAuthors=Simon Knäuer; Sebastian Rudolph }} {{Article |Referiert=1 |Title=Datalog-Expressibility for Monadic and Guarded Second-Order Logic |To appear=1 |Year=2025 |Journal=ACM Transactions on Computational Logic |Publisher=ACM }} {{Publikation Details |Abstract=We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equiva…“

24. November 2025

21. November 2025

17. November 2025

16. November 2025

1. November 2025

25. Oktober 2025

22. Oktober 2025

17. Oktober 2025

13. Oktober 2025

12. Oktober 2025

11. Oktober 2025

8. Oktober 2025

(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)