First Page | Document Content | |
---|---|---|
Date: 2014-08-13 19:26:59Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving | Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008Add to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 964,17 KBShare Document on Facebook |