Back to Results
First PageMeta Content
Computational complexity theory / Logic / Complexity classes / Abstraction / Metalogic / Predicate logic / Finite model theory / IP / FO / Quantifier / PSPACE-complete / Model theory


Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2
Add to Reading List

Document Date: 2012-03-15 13:21:54


Open Document

File Size: 201,59 KB

Share Result on Facebook