اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

Algebras and Coalgebras

Main
Algebras and Coalgebras

Algebras and Coalgebras

Yde Venema

0 / 0

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

کال:

2005

خپرونه:

version 19 Oct 2005

ژبه:

english

صفحه:

86

لړ (سلسله):

expository notes (in: Handbook of Modal Logic)

فایل:

PDF, 825 KB

IPFS:

,

english, 2005

په آن لاین ډول لوستل

ته بدلون په کار دي

ته بدلون ناکام شو

ممکن تاسی علاقمند شی

Lukas Daniel Klausner — Coalgebras, Hopf Algebras and Combinatorics

Robert Wisbauer — Algebras and coalgebras: A categorical approach [Lecture notes]

Yde Venema — Many-Dimensional Modal Logic [PhD Thesis]

Yde Venema — Many-Dimensional Modal Logic [PhD Thesis]

Tadeusz Litak — An Algebraic Approach to Incompleteness in Modal Logic [PhD Thesis]

Jesse Hughes — A Study of Categories of Algebras and Coalgebras

Bart Jacobs — Introduction to Coalgebra. Towards Mathematics of States and Observations [draft]

B. Jacobs, J. J. M. M. Rutten — An introduction to (co)algebra and (co)induction

Emily Riehl — Algebraic model structures

Alexander Chagrov, Michael Zakharyaschev — (Oxford Logic Guides 35, 1997) Modal Logic

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic (Cambridge Tracts in Theoretical Computer Science)

S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.) — Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Durov N. — New approach to Arakelov geometry

Hazewinkel M. — Handbook of Algebra Vol III

— Generalities

Vladimir V. Rybakov — Admissibility of Logical Inference Rules

Alexander Chagrov, Michael Zakharyaschev — Modal Logic

Marcus Kracht — Tools and Techniques in Modal Logic

Dov Gabbay, Dimitrij Skvortsov, Valentin Shehtman — Quantification in Nonclassical Logic

V.V. Rybakov — Admissibility of Logical Inference Rules

Patrick Blackburn, Maarten de Rijke, Yde Venema — Modal Logic

David W. Jonah — Cohomology of Coalgebras

Bart Jacobs — Introduction to Coalgebra: Towards Mathematics of States and Observation

Ewa Orlowska, Anna Maria Radzikowska, Ingid Rewitzky — Dualities for Structures of Applied Logics

Corina Cîrstea — Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Daniela Petrişan, Jurriaan Rot — Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings

Galatos, Nikolaos & Terui, Kazushige — Hiroakira Ono on Substructural Logics

Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain — Universal Algebraic Logic: Dedicated to the Unity of Science

Jacek Malinowski, Rafał Palczewski — Janusz Czelakowski on Logical Consequence

Antonio Di Nola, Revaz Grigolia, Esko Turunen (auth.) — Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

Ichiro Hasuo (eds.) — Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Sergei Odintsov — Larisa Maksimova on Implication, Interpolation, and Definability

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki — Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.) — Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.) — Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Andrej Bauer, Matija Pretnar (auth.), Reiko Heckel, Stefan Milius (eds.) — Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Jules Desharnais, Ridha Khédri, Ali Mili (auth.), Prof. Dr. Ewa Orłowska, Prof. Dr. Andrzej Szałas (eds.) — Relational Methods for Computer Science Applications

مهمي جملي