XML Update and Query-Structural Recursion on Ordered Trees and List-Based Complex Objects--Expressiveness and PTIME Restrictions

, , &
In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 344-358 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Querying linguistic trees.Catherine Lai & Steven Bird - 2010 - Journal of Logic, Language and Information 19 (1):53-73.
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.Martin Hofmann - 1997 - Bulletin of Symbolic Logic 3 (4):469-486.
Logical Hierarchies in PTIME.Lauri Hella - 1996 - Information And Computation 129 (1):1--19.
Canonical simplification of finite objects, well quasi-ordered by tree embedding.Thomas C. Brown - 1979 - Urbana, Ill.: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Do Objects Depend on Structures?Johanna Wolff - 2012 - British Journal for the Philosophy of Science 63 (3):607-625.
Kinds of objects and varieties of properties.Antigone M. Nounou - forthcoming - In Elaine Landry & Dean Rickles (eds.), Structures, Objects and Causality. Springer.
Symbols, Meaning, and Origins of Mind.Abhinav Gautam & Subhash Kak - 2013 - Biosemiotics 6 (3):301-310.
Synthesis of Multivariate Postnonclassical Knowledge.Nadezhda Prokhorova - 2008 - Proceedings of the Xxii World Congress of Philosophy 48:117-128.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Workshop on Web-Based Massive Data Processing-Session 3-Massive Data Systems-Supporting Complex Query with Structured Overlays in Schema-Based P2P System. [REVIEW]Min Li Yu & Longbo Zhang - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 115-121.
Towards a characterization of order-invariant queries over tame graphs.Michael A. Benedikt & Luc Segoufin - 2009 - Journal of Symbolic Logic 74 (1):168-186.
On intermediate predicate logics of some finite Kripke frames, I. levelwise uniform trees.Dmitrij Skvortsov - 2004 - Studia Logica 77 (3):295 - 323.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
A Question about Suslin Trees and the Weak Square Hierarchy.Ernest Schimmerling - 2005 - Notre Dame Journal of Formal Logic 46 (3):373-374.

Analytics

Added to PP
2014-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references