Mathematical models of quantum computation Tetsuro Nishino Invited Paper 01 December 2002 Pages: 317 - 337
Functional queries in Datalog Stefano BastaSergio FlescaSergio Greco Regular Papers 01 December 2002 Pages: 339 - 371
PAN: A portable, parallel Prolog: Its design, realisation and performance George XirogiannisHamish Taylor Regular Papers 01 December 2002 Pages: 373 - 399