12 results on '"Alexander, Kurz"'
Search Results
2. An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.
3. Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.
4. Algebraic Semantics for Coalgebraic Logics.
5. Coalgebras and Modal Expansions of Logics.
6. Stone Coalgebras.
7. Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.
8. Modal Predicates and Co-equations.
9. Modal Rules are Co-Implications.
10. Notes on Coalgebras, Cofibrations and Concurrency.
11. (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
12. Specifying Coalgebras with Modal Logic.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.