Constraint satisfaction with counting quantifiers 2

Martin, Barnaby and Stacho, Juraj (2014) Constraint satisfaction with counting quantifiers 2. Computer Science - Theory and Applications: 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings. In: 9th International Computer Science Symposium in Russia, CSR 2014, 7-11 Jun 2014, Moscow, Russia. ISBN 9783319066851. ISSN 0302-9743 [Conference or Workshop Item]

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (417kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Additional Information: Published paper appears in: Computer Science - Theory and Applications,Volume 8476 of the series Lecture Notes in Computer Science pp 259-272
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 16767
Notes on copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-06686-8_20
Depositing User: Barnaby Martin
Date Deposited: 03 Jun 2015 11:29
Last Modified: 14 Feb 2021 01:04
URI: https://eprints.mdx.ac.uk/id/eprint/16767

Actions (login required)

View Item View Item