On Core XPath with Inflationary Fixed Points

DOI10.1051/ita/2012027zbMath1270.68100OpenAlexW2031337592MaRDI QIDQ2842238

Loredana Afanasiev, Balder ten Cate

Publication date: 13 August 2013

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://cs.ioc.ee/fics09/fics09proc.pdf

zbMATH Keywords

fixed pointsmodal logicXML databasesXpath

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Data structures (68P05)

Uses Software

• XPath

This page was built for publication: On Core XPath with Inflationary Fixed Points