Open AccessGraph structure and monadic second-order logic. A language-theoretic approach.
Author(s) -
Bruno Courcelle,
Joost Engelfriet
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Book series
Subject(s) - computer science , monadic predicate calculus , order (exchange) , graph , mathematics , discrete mathematics , theoretical computer science , higher order logic , description logic , business , finance
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom