Non-definability of the class of complete bundled trees.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 125, doi. 10.1093/jigpal/7.1.125
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 1999 AND VI 7 AND IP 1
Results: 7
1
2
Bisimulation, modal logic and model checking games.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 103, doi. 10.1093/jigpal/7.1.103
- By:
- Publication type:
- Article
3
Theories of ω-layered metric temporal structures: expressiveness and decidability.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 79, doi. 10.1093/jigpal/7.1.79
- By:
- Publication type:
- Article
4
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 55, doi. 10.1093/jigpal/7.1.55
- By:
- Publication type:
- Article
5
Hybrid languages and temporal logic.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 27, doi. 10.1093/jigpal/7.1.27
- By:
- Publication type:
- Article
6
Temporal patterns and modal structure.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 7, doi. 10.1093/jigpal/7.1.7
- By:
- Publication type:
- Article
7
Editorial.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 1, p. 5, doi. 10.1093/jigpal/7.1.5
- By:
- Publication type:
- Article