36 results on '"Pattinson, Dirk"'
Search Results
2. A new foundation for finitary corecursion and iterative algebras
3. Automated Reasoning
4. A computational model for multi-variable differential calculus
5. Coalgebraic semantics of modal logics: An overview
6. Cut elimination in coalgebraic logics
7. MODAL MEET-IMPLICATION LOGIC.
8. Denotational semantics of hybrid automata
9. Modular construction of complete coalgebraic logics
10. Continuous Functions on Final Coalgebras
11. Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields
12. Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics.
13. A coordination approach to mobile components
14. Algebraic Semantics for Coalgebraic Logics
15. Computable Functions on Final Coalgebras
16. Coalgebraic modal logic: soundness, completeness and decidability of local consequence
17. Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
18. Modal Languages for Coalgebras in a Topological Setting
19. Modal Logic for Rewriting Theories
20. Notes on Coalgebras, Cofibrations and Concurrency
21. Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems.
22. A Van Benthem/Rosen theorem for coalgebraic predicate logic.
23. The Logic of Exact Covers: Completeness and Uniform Interpolation.
24. Sound and Complete Equational Reasoning over Comodels.
25. Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra.
26. Modal Logics are Coalgebraic1.
27. Hybrid logic with the difference modality for generalisations of graphs.
28. PSPACE Bounds for Rank-1 Modal Logics.
29. A Domain-Theoretic Account of Picard's Theorem.
30. Towards Effects in Mathematical Operational Semantics.
31. Continuous Functions on Final Coalgebras.
32. CoLoSS: The Coalgebraic Logic Satisfiability Solver.
33. Admissibility of Cut in Coalgebraic Logics.
34. Preface for the special issue of Proof, Structure, and Computation 2014.
35. From the Editors.
36. Editorial: Math. Log. Quart. 1/2008.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.