Capturing MSO with One Quantifier

First Author: Dawar A
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