Searching for authors named "Iovka Boneva" – sorted by Relevance.
-
Automata and Logics for Unranked and Unordered Trees
- Automata and Logics for Unranked and Unordered Trees Iovka Boneva and Jean-Marc Talbot Laboratoire
- Cited by 6 (2 self) – Add To MetaCart
-
When Ambients Cannot be Opened
- When Ambients Cannot be Opened Iovka Boneva and Jean-Marc Talbot ¡ @(email omitted); boneva
- Cited by 8 (0 self) – Add To MetaCart
-
Expressiveness of a spatial logic for trees
- Expressiveness of Spatial Logic for Trees Iovka Boneva, Jean-Marc Talbot and Sophie Tison LIFL
- Cited by 6 (0 self) – Add To MetaCart
-
On Complexity Of Model-Checking
- ON COMPLEXITY OF MODEL-CHECKING FOR THE TQL LOGIC Iovka Boneva, Jean-Marc Talbot Laboratoire d
- Add To MetaCart

