On the Parameterized Complexity of Learning First-Order Logic

van Bergerem, Steffen (Corresponding author); Grohe, Martin; Ritzert, Martin

New York, NY : ACM (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems / Libkin, Leonid
Seite(n)/Artikel-Nr.: 337-346

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]