Hochschulschrift | Online-Publikation
Coalgebras, clone theory, and modal logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Techn. Univ., Diss., 2000
- Schlagwort
-
Koalgebra
Klon
Modallogik
Galois-Theorie
- Urheber
- URN
-
urn:nbn:de:swb:14-993474604234-75966
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:31 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Coalgebras, clone theory, and modal logic
Modal logic
Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic
On the Proof Theory of Infinitary Modal Logic
Explicit modal logic
Advanced Modal Logic
Modal Logic on Wheels
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Proving classical theorems of social choice theory in modal logic
On the translation from quantified modal logic to Counterpart Theory
Elastoplasticity theory
Optimised modal translation and resolution
Coalgebras, clone theory, and modal logic
Modal logic
Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic
On the Proof Theory of Infinitary Modal Logic
Explicit modal logic
Advanced Modal Logic
Modal Logic on Wheels
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Proving classical theorems of social choice theory in modal logic
On the translation from quantified modal logic to Counterpart Theory
Elastoplasticity theory
Optimised modal translation and resolution
Coalgebras, clone theory, and modal logic
Modal logic
Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic
On the Proof Theory of Infinitary Modal Logic
Explicit modal logic
Advanced Modal Logic
Modal Logic on Wheels
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Proving classical theorems of social choice theory in modal logic
On the translation from quantified modal logic to Counterpart Theory
Elastoplasticity theory