Search
Now showing items 1-1 of 1
Procedimiento de refutación para un conjunto de restricciones sobre documentos XML
(2014-10-15)
We present a prototype that implements a set of logical rules to prove the
satis ability for a class of speci cations on XML documents. Speci cations
are given by means of constraints built on Boolean XPath patterns. ...