Works matching IS 09601295 AND DT 2004 AND VI 14 AND IP 6
1
- Mathematical Structures in Computer Science, 2004, v. 14, n. 6, p. 853, doi. 10.1017/s0960129504004396
- Article
2
- Mathematical Structures in Computer Science, 2004, v. 14, n. 6, p. 833, doi. 10.1017/s0960129504004384
- Article
3
- Mathematical Structures in Computer Science, 2004, v. 14, n. 6, p. 815, doi. 10.1017/s0960129504004372
- Article
4
- Mathematical Structures in Computer Science, 2004, v. 14, n. 6, p. 803, doi. 10.1017/s0960129504004360
- MARTÍN ESCARDÓ;
- MARTIN HOFMANN;
- THOMAS STREICHER
- Article
5
- Mathematical Structures in Computer Science, 2004, v. 14, n. 6, p. 771, doi. 10.1017/s0960129504004359
- ABBAS EDALAT;
- ANDRÉ LIEUTIER
- Article
6
- Mathematical Structures in Computer Science, 2004, v. 14, n. 6, p. 769, doi. 10.1017/s0960129504004347
- Article