Manipulating trees with hidden labels

DOI10.1016/J.ENTCS.2007.02.007MaRDI QIDQ2864150zbMATH OpenOpenAlexWikidataFDO

Authors Luca Cardelli, Philippa Gardner, G. Ghelli

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.007

zbMATH Keywords

information hidingtype systemsoperational semanticssemistructured data

Mathematics Subject Classification ID

Data structures (68P05) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1956515
• scientific article; zbMATH DE number 2219131
• scientific article; zbMATH DE number 3885293
• scientific article; zbMATH DE number 1406217
• Specification and verification for semi-structured data

Cites work

• scientific article; zbMATH DE number 1612495 (Why is no real title available?)
• scientific article; zbMATH DE number 1692931 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2020178 (Why is no real title available?)
• scientific article; zbMATH DE number 2081098 (Why is no real title available?)
• scientific article; zbMATH DE number 2086655 (Why is no real title available?)
• scientific article; zbMATH DE number 1841809 (Why is no real title available?)
• scientific article; zbMATH DE number 1884408 (Why is no real title available?)
• scientific article; zbMATH DE number 2242589 (Why is no real title available?)
• A spatial logic for concurrency. I
• A spatial logic for concurrency. II
• Anytime, anywhere: modal logics for mobile ambients
• Context logic and tree update
• Deciding validity in a spatial logic for trees
• Object identity as a query language primitive
• The Logic of Bunched Implications
• Typing Correspondence Assertions for Communication Protocols

Cited in

(1)

• scientific article; zbMATH DE number 1956515 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lorel
• XQuery
• SLMC

This page was built for publication: Manipulating trees with hidden labels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864150)