scientific article
From MaRDI portal
Publication:2763663
zbMath0977.68028MaRDI QIDQ2763663
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Theory of programming languages (68N15) Logic in computer science (03B70)
Related Items
A spatial logic for concurrency. II ⋮ Model checking mobile ambients ⋮ A spatial logic for concurrency. I ⋮ XML schema, tree logic and sheaves automata ⋮ Security types for dynamic web data ⋮ Applying model-checking to solve queries on semistructured data ⋮ Unnamed Item ⋮ Elimination of spatial connectives in static spatial logics ⋮ A coordination approach to mobile components ⋮ Elimination of quantifiers and undecidability in spatial logics for concurrency ⋮ Security Types for Dynamic Web Data ⋮ Modelling dynamic web data ⋮ Manipulating Trees with Hidden Labels ⋮ Testing XML constraint satisfiability
