18 results on '"Moss, Lawrence S."'
Search Results
2. Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories
3. Recursion and corecursion have the same equational logic
4. Parametric corecursion
5. Recursion and Corecursion Have the Same Equational Logic
6. Coalgebraic logic
7. Preface: Volume 65, Issue 1
8. 4 - Situation Theory
9. Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]
10. Confusion of memory
11. Ann. pure appl. logic: Erratum to “coalgebraic logic” 96 (1999) 277–317
12. Preface: Volume 53
13. Modal logic and algebraic specifications
14. Final algebras, cosemicomputable algebras and degrees of unsolvability
15. Power set recursion
16. Topological reasoning and the logic of knowledge
17. Distanced graphs
18. Chapter 4 - Situation Theory
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.