Expressiveness of a spatial logic for trees (2005)

Cached

Download Links

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