Hendrik Radke
HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas
GCM, 2013.
@article{GCM-J-2012-Radke,
author = "Hendrik Radke",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/831",
journal = "{Electronic Communications of the EASST}",
title = "{HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas}",
volume = 61,
year = 2013,
}











