¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi - Moshe Y. Vardi - Document - PDFSEARCH.IO

First Page	Meta Content
	¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.edu Add to Reading List Document Date: 2009-01-15 18:34:20 Open Document File Size: 147,76 KB Share Result on Facebook

¨ Buchi Complementation and Size-Change Termination⋆ Seth Fogarty and Moshe Y. Vardi⋆⋆ Department of Computer Science, Rice University, Houston, TX {sfogarty,vardi}@cs.rice.eduAdd to Reading List