Hochschulschrift | Online-Publikation
Coalgebras, clone theory, and modal logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Dresden, Techn. Univ., Diss., 2000
- Keyword
-
Koalgebra
Klon
Modallogik
Galois-Theorie
- Creator
- URN
-
urn:nbn:de:swb:14-993474604234-75966
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
Other Objects (12)
Coalgebras, clone theory, and modal logic
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Optimised modal translation and resolution
Modal logic
Fuzzy portfolio optimization : theory and methods
Pareto optimality, game theory and equilibria
Elastoplasticity theory
Tool and object : a history and philosophy of category theory
Lifting modules : supplements and projectivy in module theory
Music inspired harmony search algorithm : theory and applications
Quantum computation and information : from theory to experiment
Resource allocation in wireless networks : theory and algorithms
Coalgebras, clone theory, and modal logic
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Optimised modal translation and resolution
Modal logic
Fuzzy portfolio optimization : theory and methods
Pareto optimality, game theory and equilibria
Elastoplasticity theory
Tool and object : a history and philosophy of category theory
Lifting modules : supplements and projectivy in module theory
Music inspired harmony search algorithm : theory and applications
Quantum computation and information : from theory to experiment
Resource allocation in wireless networks : theory and algorithms
Coalgebras, clone theory, and modal logic
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Optimised modal translation and resolution
Modal logic
Fuzzy portfolio optimization : theory and methods
Pareto optimality, game theory and equilibria
Elastoplasticity theory
Tool and object : a history and philosophy of category theory
Lifting modules : supplements and projectivy in module theory
Music inspired harmony search algorithm : theory and applications
Quantum computation and information : from theory to experiment