Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Mathematical logic / Automated theorem proving / Logic in computer science / Type theory / Unification / Logic programming / Anti-unification / Function / HindleyMilner type system


RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on
Add to Reading List

Document Date: 2014-12-04 18:09:21

Open Document

File Size: 1,01 MB

Share Result on Facebook