Works matching IS 28047346 AND DT 2013 AND VI 47 AND IP 1
Results: 6
A non-uniform finitary relational semantics of system T.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 111, doi. 10.1051/ita/2012031
- By:
- Publication type:
- Article
On characteristic formulae for Event-Recording Automata.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 69, doi. 10.1051/ita/2012029
- By:
- Publication type:
- Article
Some results on complexity of μ-calculus evaluation in the black-box model.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 97, doi. 10.1051/ita/2012030
- By:
- Publication type:
- Article
Strong functors and interleaving fixpoints in game semantics.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 25, doi. 10.1051/ita/2012028
- By:
- Publication type:
- Article
On Core XPath with Inflationary Fixed Points.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 3, doi. 10.1051/ita/2012027
- By:
- Publication type:
- Article
Preface.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 1, doi. 10.1051/ita/2012026
- By:
- Publication type:
- Article