Back to Results
First PageMeta Content
Mathematics / Logic / Functions and mappings / Mathematical logic / Logic programming / Automated theorem proving / Append / Functional programming / Lisp / Unfolding / Substitution / Atomic formula


Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3
Add to Reading List

Document Date: 2010-10-22 08:06:04


Open Document

File Size: 275,11 KB

Share Result on Facebook