- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Archive of Formal Proofs, 31.01.2020, S. 1-79
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg, Isabelle AFP
- (wann)
-
2020
- Urheber
- URN
-
urn:nbn:de:bvb:384-opus4-911468
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 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.
Beteiligte
- Guttmann, Walter
- Möller, Bernhard
- Universität Augsburg, Isabelle AFP
Entstanden
- 2020
Ähnliche Objekte (12)
A hierarchy of algebras for Boolean subsets
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Characterizing Determinacy in Kleene Algebras
Characterizing determinacy in Kleene algebras
Algebras of modal operators and partial correctness
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Knowledge and Games in Modal Semirings
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
A hierarchy of algebras for Boolean subsets
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Characterizing Determinacy in Kleene Algebras
Characterizing determinacy in Kleene algebras
Algebras of modal operators and partial correctness
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Knowledge and Games in Modal Semirings
Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller
A hierarchy of algebras for Boolean subsets
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Unendliche Objekte und Geflechte
Characterizing Determinacy in Kleene Algebras
Characterizing determinacy in Kleene algebras
Algebras of modal operators and partial correctness
Der Beitrag der Biowissenschaften zur Pädagogik
Laboratory facilities as centres for educational practice and research
Von der Schulanstalt zur Schulunternehmung oder Wer soll die Bildungsreform bezahlen? : eine Einf. in d. Mikroökonomie d. emanzipierten Schule
Thüringer Pfarrerbuch, Bd. 1.. Herzogtum Gotha / bearb. von Bernhard Möller
Knowledge and Games in Modal Semirings