scientific article; zbMATH DE number 1692931

MaRDI QIDQ2763663zbMATH OpenFDO

Authors Luca Cardelli, G. Ghelli

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280001

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of programming languages (68N15) Database theory (68P15)

Recommendations

• TQL: a query language for semistructured data based on the ambient logic
• On the Expressiveness of the Ambient Logic
• scientific article; zbMATH DE number 1696696
• scientific article; zbMATH DE number 2089472
• A logic you can count on

Cited in

(22)

• Applying model-checking to solve queries on semistructured data
• Elimination of spatial connectives in static spatial logics
• A coordination approach to mobile components
• A trace query language for rule-based models
• A spatial logic for concurrency. II
• Model checking mobile ambients
• A spatial logic for concurrency. I
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Modelling dynamic web data
• scientific article; zbMATH DE number 1696696 (Why is no real title available?)
• Intensionality of modal logic for robust ambient calculus
• Manipulating trees with hidden labels
• Testing XML constraint satisfiability
• Security Types for Dynamic Web Data
• scientific article; zbMATH DE number 1964960 (Why is no real title available?)
• Capability-based localization of distributed and heterogeneous queries
• scientific article; zbMATH DE number 1406217 (Why is no real title available?)
• Specification and verification for semi-structured data
• On the Expressiveness of the Ambient Logic
• Specification of a query language by the attribute method
• XML schema, tree logic and sheaves automata
• Security types for dynamic web data

This page was built for publication:

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