Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Bodirsky, Manuel
Feller, Thomas
Knauer, Simon
and
Rudolph, Sebastian
2021.
On Logics and Homomorphism Closure.
p.
1.
Bodirsky, Manuel
and
Bodor, Bertalan
2021.
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property.
p.
1.
Gasarch, William
Laskowski, Michael
and
Zhu, Shaopeng
2022.
Theory and Applications of Models of Computation.
Vol. 13571,
Issue. ,
p.
155.
Krokhin, Andrei
and
Opršal, Jakub
2022.
An invitation to the promise constraint satisfaction problem.
ACM SIGLOG News,
Vol. 9,
Issue. 3,
p.
30.
Kazda, Alexandr
and
Kompatscher, Michael
2022.
Local–global property for G-invariant terms.
International Journal of Algebra and Computation,
Vol. 32,
Issue. 06,
p.
1209.
Liebeck, Martin W.
and
Praeger, Cheryl E.
2022.
Peter Michael Neumann, 1940–2020.
Bulletin of the London Mathematical Society,
Vol. 54,
Issue. 4,
p.
1487.
Barsukov, Alexey
and
Madelaine, Florent R.
2023.
Unity of Logic and Computation.
Vol. 13967,
Issue. ,
p.
202.
Bodirsky, Manuel
Bulín, Jakub
Starke, Florian
and
Wernthaler, Michael
2023.
The smallest hard trees.
Constraints,
Vol. 28,
Issue. 2,
p.
105.
Jonsson, Peter
and
Lagerkvist, Victor
2023.
General Lower Bounds and Improved Algorithms for Infinite–Domain CSPs.
Algorithmica,
Vol. 85,
Issue. 1,
p.
188.
Bodirsky, Manuel
Vucaj, Albert
and
Zhuk, Dmitriy
2023.
The lattice of clones of self-dual operations collapsed.
International Journal of Algebra and Computation,
Vol. 33,
Issue. 04,
p.
717.
Krogmeier, Paul
and
Madhusudan, P.
2023.
Languages with Decidable Learning: A Meta-theorem.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. OOPSLA1,
p.
143.
Bodirsky, Manuel
and
Rydval, Jakub
2023.
On the Descriptive Complexity of Temporal Constraint Satisfaction Problems.
Journal of the ACM,
Vol. 70,
Issue. 1,
p.
1.
Bodirsky, Manuel
and
Bodor, Bertalan
2024.
A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory.
ACM Transactions on Computation Theory,