First-Order Query Evaluation with Cardinality Conditions

Grohe, Martin; Schweikardt, Nicole

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

In: PODS'18 : Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 10-15, 2018, Houston, TX, USA / General Chair: Jan Van den Bussche
Page(s)/Article-Nr.: 253-266


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