Two-Variable Logic on Data Trees and XML Reasoning

doi 10.1145/1142351.1142354
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Representing and Reasoning on XML Documents: A Description Logic Approach

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1999English

Two-Variable Logic With Counting and a Linear Order

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Equipping IDEs With XML-Path Reasoning Capabilities

ACM Transactions on Internet Technology
Computer NetworksCommunications
2014English

Building Semantic Trees From XML Documents

SSRN Electronic Journal
2016English

Robotics, Temporal Logic and Stream Reasoning

English

Efficient Memory Representation of XML Document Trees

Information Systems
HardwareInformation SystemsArchitectureSoftware
2008English

Complexity Results for First-Order Two-Variable Logic With Counting

SIAM Journal on Computing
MathematicsComputer Science
2000English

Patterns and Logic for Reasoning With Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy