Back to Results
First PageMeta Content
Logic programming / Rules of inference / Automated theorem proving / Theoretical computer science / SLD resolution / Abstraction / Function / Interpretation / Algorithm / Mathematics / Mathematical logic / Logic


Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3
Add to Reading List

Document Date: 2006-07-05 14:23:02

Open Document

File Size: 240,55 KB

Share Result on Facebook
UPDATE