Axiomatizing the Logical Core of XPath 2.0

Theory of Computing Systems - United States
doi 10.1007/s00224-008-9151-9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Axiomatizing Bounded Rationality: The Priority Heuristic

Theory and Decision
DevelopmentalArtsFinanceEducational PsychologyHumanitiesDecision SciencesEconomicsApplied PsychologyEconometricsComputer Science ApplicationsSocial Sciences
2013English

On Interpretations of the Logical Relationship Between the Chinese Dream and Socialist Core Values

2017English

XPlainer: Visual Explanations of XPath Queries

2007English

XPath Processing in a Nutshell

SIGMOD Record
Information SystemsSoftware
2003English

XPath Satisfiability in the Presence of DTDs

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2008English

Logic-Based XPath Optimization

2004English

Semantic Characterizations of Navigational XPath

SIGMOD Record
Information SystemsSoftware
2005English

SPEX: Streamed and Progressive Evaluation of XPath

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
2007English

Transformation of UML 2.0 Models With Performance Annotations to Core Scenario Models

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy