Hybrid Logical Analyses of the Ambient Calculus

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Information and Computation
Volume	208
Issue number	5
Pages (from-to)	433-449
ISSN	0890-5401
DOIs	https://doi.org/10.1016/j.ic.2009.01.006
Publication status	Published - May 2010

Access to Document

@article{64e02331f1d846fea17eea746e8fee34,

title = "Hybrid Logical Analyses of the Ambient Calculus",

author = "Thomas Bolander and Hansen, {Rene Rydhof}",

note = "Special Issue: 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007) ",

year = "2010",

month = may,

doi = "10.1016/j.ic.2009.01.006",

language = "English",

volume = "208",

pages = "433--449",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Academic Press",

number = "5",

}

TY - JOUR

T1 - Hybrid Logical Analyses of the Ambient Calculus

AU - Bolander, Thomas

AU - Hansen, Rene Rydhof

N1 - Special Issue: 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007)

PY - 2010/5

Y1 - 2010/5

U2 - 10.1016/j.ic.2009.01.006

DO - 10.1016/j.ic.2009.01.006

M3 - Journal article

SN - 0890-5401

VL - 208

SP - 433

EP - 449

JO - Information and Computation

JF - Information and Computation

IS - 5

ER -