4 Oct
2001
4 Oct
'01
2:57 p.m.
This is just to see if the moderator can post without approval, and to force the creation of the archive page.
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it