Descriptive complexity of MSO+U

Date Issued
01-01-2016
Author(s)
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Indian Institute of Technology, Madras
Steffen, Bernhard
Terzopoulos, Demetri
Tygar, Doug
Weikum, Gerhard
Skrzypczak, Michał
DOI
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.
Volume
9802 LNCS