On the Parameterized Complexity of Learning First-Order Logic

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

New York, NY : ACM (2022)
Contribution to a book, Contribution to a conference proceedings

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


  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]