Martti Penttonen
2 published titles
Intensional logics for programming
(Contributor)
1 edition
- ISBN: 0198537751
- Clarendon Press
- 1992
- Details
Algorithm theory, SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540438661
- Springer
- 2002
- Details
