Proceedings Of The 3rd Acm Sigplan Workshop On Mechanized Reasoning About Languages With Variable Binding
Download Proceedings Of The 3rd Acm Sigplan Workshop On Mechanized Reasoning About Languages With Variable Binding PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Proceedings Of The 3rd Acm Sigplan Workshop On Mechanized Reasoning About Languages With Variable Binding book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Logic, Language, Information and Computation
The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions, and resources; and foundational aspects of information organization, search, flow, sharing, and protection.