Handling Infinitely Branching WSTS? Michael Blondin1 , Alain Finkel2 , and Pierre McKenzie1 1 Universit´e de Montr´eal and ENS Cachan {blondimi, mckenzie - Pierre - Document - PDFSEARCH.IO

First Page	Meta Content
	Handling Infinitely Branching WSTS? Michael Blondin1 , Alain Finkel2 , and Pierre McKenzie1 1 Universit´e de Montr´eal and ENS Cachan {blondimi, mckenzie}@iro.umontreal.ca Add to Reading List Document Date: 2016-09-23 11:32:44 Open Document File Size: 290,54 KB Share Result on Facebook

Handling Infinitely Branching WSTS? Michael Blondin1 , Alain Finkel2 , and Pierre McKenzie1 1 Universit´e de Montr´eal and ENS Cachan {blondimi, mckenzie}@iro.umontreal.caAdd to Reading List