@inproceedings{81f0b5bdb0bd4fa59f848068baadef9d,
title = "Pebble games over ordered structural abstractions",
abstract = "We introduce a new notion called structural abstractions, which is particularly suitable for pebble games over finite ordered graphs. In an example, we show how to apply structural expansions and abstrac-tions in constructions and how to play pebble games over ordered struc-tural abstractions. The proof includes several observations and insights that are fundamental for any games over structural abstractions, which can be used to obtain lower bounds for a number of graph problems with order.",
keywords = "Finite model theory, Pebble games, Structural abstraction",
author = "Yuguo He",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 ; Conference date: 20-04-2017 Through 22-04-2017",
year = "2017",
doi = "10.1007/978-3-319-55911-7_23",
language = "English",
isbn = "9783319559100",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "319--332",
editor = "Gerhard Jager and Silvia Steila and T.V. Gopal",
booktitle = "Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings",
address = "Germany",
}