Back to Results
First PageMeta Content
Logic in computer science / Mathematical logic / Theoretical computer science / Logical consequence / Theorem / Lambda calculus / Rewriting / Mathematical proof


Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email:
Add to Reading List

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


Open Document

File Size: 173,26 KB

Share Result on Facebook