Manipulating trees with hidden labels

DOI10.1016/J.ENTCS.2007.02.007zbMATH Open1277.68116OpenAlexW2078059420WikidataQ56982049 ScholiaQ56982049MaRDI QIDQ2864150FDOQ2864150

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

Recommendations

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

zbMATH Keywords

information hidingtype systemsoperational semanticssemistructured data

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The Logic of Bunched Implications
• Object identity as a query language primitive
• Context logic and tree update
• Title not available (Why is that?)
• A spatial logic for concurrency. I
• Deciding validity in a spatial logic for trees
• Title not available (Why is that?)
• Anytime, anywhere: modal logics for mobile ambients
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A spatial logic for concurrency. II
• Title not available (Why is that?)
• Typing Correspondence Assertions for Communication Protocols
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

Uses Software

• SLMC
• XQuery
• Lorel

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)