Manipulating trees with hidden labels
type: Item
instance of: scholarly article
zbMATH Open document ID: 1277.68116
author: Luca Cardelli
author: Philippa Gardner
author: G. Ghelli
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-12-06T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 6236106
zbMATH Keywords: operational semantics
zbMATH Keywords: type systems
zbMATH Keywords: semistructured data
zbMATH Keywords: information hiding
describes a project that uses: SLMC
describes a project that uses: XQuery
describes a project that uses: Lorel
MaRDI profile type: Publication
full work available at URL: j.entcs.2007.02.007
OpenAlex ID: W2078059420
Wikidata QID: Q56982049
cites work: Object identity as a query language primitive
cites work: A spatial logic for concurrency. I
cites work: A spatial logic for concurrency. II
cites work: Deciding validity in a spatial logic for trees
cites work: Context logic and tree update
cites work: Q4474211
cites work: Q4737192
cites work: Q2763663
cites work: Anytime, anywhere
cites work: Q4440827
cites work: Q4798028
cites work: Typing Correspondence Assertions for Communication Protocols
cites work: Q4248252
cites work: The Logic of Bunched Implications
cites work: Q4783297
cites work: Q5714442
cites work: Q2721104
DOI: 10.1016/J.ENTCS.2007.02.007
title: Manipulating trees with hidden labels
description: scientific article; zbMATH DE number 6236106