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

Log in to edit

Download files

Accepted author manuscript
WebCSR2014.pdf

  • 15
    total views
  • 7
    total downloads
  • 1
    views this month
  • 1
    downloads this month

Export as