9 results on '"Constable, Robert L."'
Search Results
2. Developing Correctly Replicated Databases Using Formal Tools
3. A diversified and correct-by-construction broadcast service
4. On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer
5. II: PROGRAMMING LOGIC: Chapter 8: Constructively Formalizing Automata Theory.
6. Programs and types.
7. Representing program schemes in logic.
8. On the efficiency of programs in subrecursive formalisms.
9. The operator gap.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.