Originalsprog | Engelsk |
---|---|
Tidsskrift | Information and Computation |
Vol/bind | 208 |
Udgave nummer | 5 |
Sider (fra-til) | 433-449 |
ISSN | 0890-5401 |
DOI | |
Status | Udgivet - maj 2010 |
Hybrid Logical Analyses of the Ambient Calculus
Thomas Bolander, Rene Rydhof Hansen
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review