Natasha Alechina, Maarten de Rijke, and Stephane Demri. A modal perspective on path constraints. Journal of Logic and Computation, 13(6):939--956, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
CTL Model Checking for Processing Simple XPath Queries - Afanasiev, Franceschet.. (2004) Self-citation (De rijke) (Correct)
No context found.
N. Alechina, S. Demri, and M. de Rijke. A modal perspective on path constraints. Journal of Logic and Computation, 2003.
Model Checking for Hybrid Logics - Franceschet, de Rijke (2003) Self-citation (De rijke) (Correct)
No context found.
Alechina, N., S. Demri and M. de Rijke, A modal perspective on path constraints, Journal of Logic and Computation (2002).
Modal Logics with Existential Modality, Finite-iteration.. - Shkatov (2005) (Correct)
No context found.
Natasha Alechina, Maarten de Rijke, and Stephane Demri. A modal perspective on path constraints. Journal of Logic and Computation, 13(6):939--956, 2003.
Spatial Tree Logics to Reason about Semistructured Data - Conforti, Ghelli (2003) (Correct)
No context found.
N. Alechina, S. Demri, and M. de Rijke. A modal perspective on path constraints. JLC: Journal of Logic and Computation, (13):1--18, 2003.
XML Query Evaluation via CTL Model Checking - Afanasiev (2004) (Correct)
No context found.
N. Alechina, S. Demri, and M. de Rijke. A modal perspective on path constraints. Journal of Logic and Computation, 2003.
XPath with conditional axis relations - Marx (2004) (4 citations) (Correct)
No context found.
N. Alechina, S. Demri, and M. de Rijke. A modal perspective on path constraints. Journal of Logic and Computation, 13:1--18, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC