Abstract
mso logic is quite expressive, in particular it covers most of other logics used for specifying properties of computer systems. However, mso is not able to express quantitative properties of structures.
Cite
CITATION STYLE
APA
Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., … Skrzypczak, M. (2016). Descriptive complexity of MSO+U. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9802 LNCS, pp. 159–171). Springer Verlag. https://doi.org/10.1007/978-3-662-52947-8_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free