Back to Results
First PageMeta Content
Logic / Proof theory / Mathematical logic / Philosophy / Sequent / Linear logic / Soundness / Logic programming / Inductive reasoning


FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09
Add to Reading List

Document Date: 2009-07-20 04:50:04


Open Document

File Size: 4,23 MB

Share Result on Facebook