Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira CNRS, LaBRI, France - DC Universe - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-05-26 20:54:57 Functional 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 Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Download Document from Source Website File Size: 953,04 KB Share Document on Facebook

	XQuery 1.0: Primer by Juliane Harbarth, Technical Consultant R&D Technology, Software AG Abstract This document is intended to provide an easily readable description of the XQuery XML Query language, and is oriented towa DocID: 1pWAb - View Document
	Recursion-free XPath 1.0 implementation Oleg Parashchenko olpa@ http://uucode.com/ Saint-Petersburg State University, Russia Extended abstract proposal for GTTSE’2007 June 3, 2007 DocID: 1mEc0 - View Document
	XPath Evaluation in Linear Time ´ MIKOLAJ BOJANCZYK and PAWEL PARYS Warsaw University We consider a fragment of XPath 1.0, where attribute and text values may be compared. We DocID: 1ldq2 - View Document
	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira CNRS, LaBRI, France & University of Edinburgh, UK Santiago Figueira DocID: 1ge1V - View Document
	Xindice 1.0 Users Guide $Revision: 511427 $ by Kimbro Staken Table of contents 1 DocID: 1aTls - View Document