Works matching IS 28047346 AND DT 2012 AND VI 46 AND IP 2
Results: 6
Foreword ICTCS 2010 special issue.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 2, p. 201, doi. 10.1051/ita/2012008
- By:
- Publication type:
- Article
On the size of transducers for bidirectional decoding of prefix codes.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 2, p. 315, doi. 10.1051/ita/2012006
- By:
- Publication type:
- Article
Easy lambda-terms are not always simple.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 2, p. 291, doi. 10.1051/ita/2012005
- By:
- Publication type:
- Article
A graphical representation of relational formulae with complementation.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 2, p. 261, doi. 10.1051/ita/2012003
- By:
- Publication type:
- Article
Formal Methods to Improve Public Administration Business Processes.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 2, p. 203, doi. 10.1051/ita/2012002
- By:
- Publication type:
- Article
Equivalences and Congruences on Infinite Conway Games.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 2, p. 231, doi. 10.1051/ita/2012001
- By:
- Publication type:
- Article