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]

Preview

PDF - Final accepted version (with author's formatting)
Download (417kB) | Preview

Official URL: http://dx.doi.org/10.1007/978-3-319-06686-8_20

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:	29 Nov 2022 23:57
URI:	https://eprints.mdx.ac.uk/id/eprint/16767

Actions (login required)

View Item

Statistics

DownloadsShow export options

Activity Overview

6 month trend

276Downloads

6 month trend

338Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)