First Page | Document Content | |
---|---|---|
Date: 2011-09-15 16:32:16Software 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 ListSource URL: calco2011.ecs.soton.ac.ukDownload Document from Source WebsiteFile Size: 933,03 KBShare Document on Facebook |