![Functional languages / XML / Model theory / XPath 1.0 / XPath / First-order logic / Constructible universe / XQuery / XSLT / Computing / Web standards / Mathematical logic Functional languages / XML / Model theory / XPath 1.0 / XPath / First-order logic / Constructible universe / XQuery / XSLT / Computing / Web standards / Mathematical logic](https://www.pdfsearch.io/img/d9c673a01840b16324087ca47702d983.jpg) Date: 2015-05-26 20:54:57Functional languages XML Model theory XPath 1.0 XPath First-order logic Constructible universe XQuery XSLT Computing Web standards Mathematical logic | | Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira CNRS, LaBRI, France & University of Edinburgh, UK Santiago FigueiraAdd to Reading ListSource URL: www.glyc.dc.uba.arDownload Document from Source Website File Size: 953,04 KBShare Document on Facebook
|