-
A Decision Procedure for XPath Containment
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The... -
Graphs and hypergraphs : algorithmic and algebraic complexities
Beware, this abstract comports irony and humor. In this dissertation, we defend the idea that, for any reasonnable model of computation, this is not the model that is... -
Embedding finite and infinite words into overlapping tiles
International audience
