Back to Results
First PageMeta Content
Programming paradigms / Logic in computer science / Constraint programming / Prolog / Constraint Handling Rules / Abstract machine / Operational semantics / Abstract data type / Semantics / Functional programming / Logic programming / Coq


Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers)
Add to Reading List

Document Date: 2014-09-18 05:58:35

Open Document

File Size: 62,86 KB

Share Result on Facebook
UPDATE