Paper Info
Title
Adjuncts elimination in the static ambient logic
Abstract
The Ambient Logic (AL) has been proposed for expressing spatial properties of processes of the Mobile Am- bient calculus (MA). Restricting both the calculus and the logic to their static part yields static ambients (SA) and the static ambient logic (SAL), that form a model for queries about semistructured data. SAL also includes the non-standard fresh quantifier ().
Year
DOI
Venue
2004
10.1016/j.entcs.2004.04.021
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
Spatial logics,Mobile Ambients,Minimality,Fresh quantifier
Discrete mathematics,Programming language,Computer science,Theoretical computer science,Ambient calculus,Expressivity
Journal
Volume
ISSN
Citations 
96
1571-0661
9
PageRank 
References 
Authors
0.83
12
1
Name
Order
Citations
PageRank
Étienne Lozes112114.32