Sciweavers

FSTTCS
2004
Springer

Adjunct Elimination Through Games in Static Ambient Logic

13 years 9 months ago
Adjunct Elimination Through Games in Static Ambient Logic
Anuj Dawar, Philippa Gardner, Giorgio Ghelli
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FSTTCS
Authors Anuj Dawar, Philippa Gardner, Giorgio Ghelli
Comments (0)