Back to Results
First PageMeta Content
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

Document Date: 2015-05-26 20:54:57

Open Document

File Size: 953,04 KB

Share Result on Facebook

Country

France / /

Facility

University of Edinburgh / /

IndustryTerm

Web Consortium / polynomial time algorithm / basic model theory tool / algorithmic solution / /

Organization

Universidad de Buenos Aires / CONICET / Universidad Nacional / University of Edinburgh / /

Person

Van Benthem / Santiago Figueira / Fontaine / Carlos Areces / Diego Figueira / /

ProgrammingLanguage

XSLT / XQuery / XPath / XML / /

RadioStation

Core / /

Technology

XML / simulation / XSLT / /

SocialTag