Electronic Notes in Theoretical Computer Science 86 NoURL: http: www.elsevier.nl locate entcs volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1 - Path ordering - Document - PDFSEARCH.IO

First Page	Meta Content
	Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1 Add to Reading List Document Date: 2006-07-26 07:36:58 Open Document File Size: 267,03 KB Share Result on Facebook

Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1Add to Reading List