Back to Results
First PageMeta Content
Set-builder notation / Formal methods / Logic in computer science / NP-complete problems / Mathematics / Mathematical logic / Multiset


Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work
Add to Reading List

Document Date: 2014-07-18 05:28:18

Open Document

File Size: 400,47 KB

Share Result on Facebook

City

Vienna / /

Country

Austria / /

/

Organization

US Federal Reserve / Carnegie Mellon University / LIA SC / /

Person

Edmund S. L. Lam / /

SocialTag