Hochschulschrift | Online-Publikation
Coalgebras, clone theory, and modal logic
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Techn. Univ., Diss., 2000
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- 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
-
25.03.2025, 13:44 MEZ
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
Beteiligte
Ähnliche Objekte (12)
Coalgebras, clone theory, and modal logic
Modal logic
Elastoplasticity theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Explicit modal logic
Advanced Modal Logic
Optimised modal translation and resolution
A theory of shape identification
Topics in applied macrodynamic theory
Algebraic theory of locally nilpotent derivations
Fuzzy portfolio optimization : theory and methods
Pareto optimality, game theory and equilibria
Coalgebras, clone theory, and modal logic
Modal logic
Elastoplasticity theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Explicit modal logic
Advanced Modal Logic
Optimised modal translation and resolution
A theory of shape identification
Topics in applied macrodynamic theory
Algebraic theory of locally nilpotent derivations
Fuzzy portfolio optimization : theory and methods
Pareto optimality, game theory and equilibria
Coalgebras, clone theory, and modal logic
Modal logic
Elastoplasticity theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Explicit modal logic
Advanced Modal Logic
Optimised modal translation and resolution
A theory of shape identification
Topics in applied macrodynamic theory
Algebraic theory of locally nilpotent derivations
Fuzzy portfolio optimization : theory and methods