1
Published 2006
Table of Contents: ... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... Control Systems -- A Firmware Verification Tool for Programmable Logic Controllers -- Quantifying...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Computational Ability of Problem-Solving in an Amoeba -- Two Molecular Information Processing Systems Based...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ... System -- Kinase Substrate Interactions -- A Functional Protein Microarray Approach to Characterizing...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Proof Systems -- On the Resolution Complexity of Graph Non-isomorphism -- Quantified Boolean Formulas...
View full text
Electronic eBook