Hybrid Logical Analyses of the Ambient Calculus
Publication: Research - peer-review › Journal article
| Original language | English |
|---|---|
| Journal | Information and Computation |
| Publication date | May 2010 |
| Volume | 208 |
| Journal number | 5 |
| Pages | 433-449 |
| ISSN | 0890-5401 |
| DOIs | |
| State | Published |
ID: 33078751