| Document Date: 2012-12-17 03:58:09 Open Document File Size: 379,89 KBShare Result on Facebook
City Genoa / / Company Jn0 KG / FO / F KG / / Country Italy / / Currency USD / / / Event Business Partnership / / Facility XPath Leonid Libkin Wim Martens Domagoj Vrgoˇc University of Edinburgh Universität Bayreuth University / / IndustryTerm faster algorithm / complement operator / query evaluation algorithm / model-checking algorithm / inexpressibility tools / arbitrary labeled transition systems / transitive closure operator / linear-time algorithm / dynamic programming algorithm / social networks / social network / transition systems / / Movie Basic / / OperatingSystem L3 / / Organization XPath Leonid Libkin Wim Martens Domagoj Vrgoˇc University / University of Edinburgh / / Person Leonid Libkin Wim Martens Domagoj / / Position ABSTRACT General / / Product GXPath / XPath / / ProgrammingLanguage XPath 2.0 / XML / J / XPath / / RadioStation Core / / Technology XML / query evaluation algorithm / dynamic programming algorithm / 2 The algorithm / RDF / linear-time algorithm / model-checking algorithm / / |