Hybrid Logical Analyses of the Ambient Calculus

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Information and Computation
Vol/bind	208
Udgave nummer	5
Sider (fra-til)	433-449
ISSN	0890-5401
DOI	https://doi.org/10.1016/j.ic.2009.01.006
Status	Udgivet - maj 2010

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

Adgang til dokumentet

@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 -