Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science - Coalgebra - Document - PDFSEARCH.IO

First Page	Meta Content
	Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science Add to Reading List Document Date: 2011-09-15 16:32:16 Open Document File Size: 933,03 KB Share Result on Facebook City Winchester / / Country United Kingdom / / Facility Computer Science University of Illinois / / Organization Theories Camilo Rocha Jos´e Meseguer Department / University of Illinois / / Person Nat / / ProvinceOrState Illinois / / SocialTag Software engineering Functional languages Mathematical proof F-coalgebra ATS Computing Mathematics Mathematical logic Automated theorem proving

Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer ScienceAdd to Reading List