Back to Results
First PageMeta Content
Model theory / Predicate logic / Ground expression / First-order logic / Binary tree / Lambda calculus / Interpretation / Function / Tree / Mathematical logic / Mathematics / Logic


Decision Procedures for Algebraic Data Types with Abstractions
Add to Reading List

Document Date: 2009-11-10 09:06:44

Open Document

File Size: 284,42 KB

Share Result on Facebook
UPDATE