Works matching IS 13670751 AND DT 2003 AND VI 11 AND IP 4
1
- Logic Journal of the IGPL, 2003, v. 11, n. 4, p. 381, doi. 10.1093/jigpal/11.4.381
- Bos, Johan;
- Kohlhase, Michael
- Article
2
- Logic Journal of the IGPL, 2003, v. 11, n. 4, p. 485, doi. 10.1093/jigpal/11.4.485
- Kreutel, Jörn;
- Matheson, Colin
- Article
3
- Logic Journal of the IGPL, 2003, v. 11, n. 4, p. 457, doi. 10.1093/jigpal/11.4.457
- Article
4
- Logic Journal of the IGPL, 2003, v. 11, n. 4, p. 435, doi. 10.1093/jigpal/11.4.435
- Kohlhase, Michael;
- Koller, Alexander
- Article
5
- Logic Journal of the IGPL, 2003, v. 11, n. 4, p. 419, doi. 10.1093/jigpal/11.4.419
- Bernardi, Raffaella;
- Moot, Richard
- Article
6
- Logic Journal of the IGPL, 2003, v. 11, n. 4, p. 385, doi. 10.1093/jigpal/11.4.385
- Fyodorov, Yaroslav;
- Winter, Yoad;
- Francez, Nissim
- Article