Expressiveness of a spatial logic for trees (2005)

Cached

Download Links

by Iovka Boneva , Jean-marc Talbot , Sophie Tison
Venue:In LICS 2005
Citations:13 - 2 self