[Prev][Next][Index][Thread]

paper on MLL2




Our paper on the undecidability of MLL2 is now available by ftp anonymous on  
lmd.univ-mrs.fr in the directory /pub/lafont. The file is called mll2.ps.Z.
The paper is 8 pages long.

Yves Lafont and Andre Scedrov