Works matching IS 09601295 AND DT 2007 AND VI 17 AND IP 2
1
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 289, doi. 10.1017/S0960129507006007
- BAILLY, FRANCIS;
- LONGO, GIUSEPPE
- Article
2
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 277, doi. 10.1017/S0960129507005993
- Article
3
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 261, doi. 10.1017/S0960129507005981
- KRIVINE, HUBERT;
- LESNE, ANNICK;
- TREINER, JACQUES
- Article
4
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 247, doi. 10.1017/S096012950700597X
- Article
5
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 225, doi. 10.1017/S0960129507005968
- MADROÑERO, JAVIER;
- HILICO, LAURENT;
- GRÉMAUD, BENOÎT;
- DELANDE, DOMINIQUE;
- BUCHLEITNER, ANDREAS
- Article
6
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 177, doi. 10.1017/S0960129507005956
- Article
7
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 185, doi. 10.1017/S0960129507005944
- Article
8
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 173, doi. 10.1017/S0960129507005932
- Article
9
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 309, doi. 10.1017/S0960129506005901
- PRELLER, ANNE;
- LAMBEK, JOACHIM
- Article
10
- Mathematical Structures in Computer Science, 2007, v. 17, n. 2, p. 341, doi. 10.1017/S0960129506005652
- Article