Affine systems of equations and counting infinitary logic
- 17 April 2009
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 410 (18), 1666-1683
- https://doi.org/10.1016/j.tcs.2008.12.049
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A Simple Algorithm for Mal'tsev ConstraintsSIAM Journal on Computing, 2006
- Linear Datalog and Bounded Path Duality of Relational StructuresLogical Methods in Computer Science, 2005
- A Restricted Second Order Logic for Finite StructuresInformation and Computation, 1998
- Closure properties of constraintsJournal of the ACM, 1997
- Logical Hierarchies in PTIMEInformation and Computation, 1996
- Graph Searching and a Min-Max Theorem for Tree-WidthJournal of Combinatorial Theory, Series B, 1993
- Structure and importance of logspace-MOD classTheory of Computing Systems, 1992
- Consistency in networks of relationsArtificial Intelligence, 1977
- Networks of constraints: Fundamental properties and applications to picture processingInformation Sciences, 1974
- Closed systems of functions and predicatesPacific Journal of Mathematics, 1968