Constraint satisfaction with counting quantifiers 2

Conference paper


Martin, B. and Stacho, J. 2014. Constraint satisfaction with counting quantifiers 2. 9th International Computer Science Symposium in Russia, CSR 2014. Moscow, Russia 07 - 11 Jun 2014 Springer. pp. 259-272
TypeConference paper
TitleConstraint satisfaction with counting quantifiers 2
AuthorsMartin, B. and Stacho, J.
Research GroupFoundations of Computing group
Conference9th International Computer Science Symposium in Russia, CSR 2014
Page range259-272
ISSN0302-9743
ISBN
Hardcover9783319066851
PublisherSpringer
Publication dates
Print2014
Publication process dates
Deposited03 Jun 2015
Output statusPublished
Accepted author manuscript
Copyright Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-06686-8_20

Additional information

Published paper appears in: Computer Science - Theory and Applications,Volume 8476 of the series Lecture Notes in Computer Science pp 259-272

Web address (URL)http://dx.doi.org/10.1007/978-3-319-06686-8_20
LanguageEnglish
Book titleComputer Science - Theory and Applications: 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Permalink -

https://repository.mdx.ac.uk/item/858q2

Download files


Accepted author manuscript
  • 14
    total views
  • 3
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as