|
|||||
|
|
Affine systems of equations and counting infinitary logic |
|
| Authors: | Albert Atserias Andrei Bulatov Anuj Dawar |
| Affiliation: | 1. Universitat Politècnica de Catalunya, Barcelona, Spain;2. Simon Fraser University, Burnaby, Canada;3. University of Cambridge, Cambridge, UK |
| Abstract: | |
| Keywords: | Constraint satisfaction problem Finite model theory Universal algebra Infinitary logic with counting Tame congruence theory Bijective game Systems of linear equations Inexpressibility Quantifier-free reductions |
| 本文献已被 ScienceDirect 等数据库收录！ | |