First-order definable counting-only queries
From MaRDI portal
Publication:5919275
DOI10.1007/s10472-019-09652-8zbMath1452.68070OpenAlexW4250008364WikidataQ127483181 ScholiaQ127483181MaRDI QIDQ5919275
Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jelle Hellings
Publication date: 9 December 2019
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1942/29993
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Elements of finite model theory.
- Complexity results for classes of quantificational formulas
- On the expressive power of the relational algebra
- On logics with two variables
- Calculi for symmetric queries
- DECOMPOSING GENERALIZED QUANTIFIERS
- Finite Variable Logics in Descriptive Complexity Theory
- First-order definable counting-only queries
This page was built for publication: First-order definable counting-only queries