On regular paths with counting and data tests
type: Item
instance of: scholarly article
title: On regular paths with counting and data tests
zbMATH Open document ID: 1394.68108
author: Everardo Bárcenas
author: Edgard Benítez-Guerrero
author: Jesús Lavalle
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6862960
zbMATH Keywords: modal logics
zbMATH Keywords: XPath
zbMATH Keywords: automated reasoning
zbMATH Keywords: data trees
zbMATH Keywords: counting
describes a project that uses: XPath
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.11.002
OpenAlex ID: W2563722128
Wikidata QID: Q113317624
cites work: Global Numerical Constraints on Trees
cites work: Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
cites work: Two-variable logic on data words
cites work: Two-variable logic on data trees and XML reasoning
cites work: Toward Model Theory with Data Values
cites work: A logic you can count on
cites work: Complexity of modal logics with Presburger constraints
cites work: Decidability of Downward XPath
cites work: Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
cites work: Q3113675
cites work: \(\mathsf{FO}^2(<,+1,\sim)\) on data trees, data tree automata and branching vector addition systems
cites work: Reasoning with Global Assumptions in Arithmetic Modal Logics
cites work: Q3086934
cites work: Complete axiomatizations for XPath fragments
DOI: 10.1016/J.ENTCS.2016.11.002
description: scientific article; zbMATH DE number 6862960