Capturing MSO with One Quantifier
Attributed to:
Descriptive Complexity with Algebraic Operators
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-23534-9_8
Publication URI: http://dx.doi.org/10.1007/978-3-319-23534-9_8
Type: Book Chapter
Book Title: Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (2015)
Page Reference: 142-152
ISBN: 978-3-319-23533-2
ISSN: 2095-221X