Hochschulschrift | Online-Publikation
On extensions of AF2 with monotone and clausular (Co)inductive definitions
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Univ., Diss., 2004
- Klassifikation
-
Mathematik
Informatik
- Schlagwort
-
Logik
Stufe 2
System F
Induktiver Typ
- Urheber
- URN
-
urn:nbn:de:bvb:19-28553
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.04.2025, 14:43 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)
On extensions of AF2 with monotone and clausular (Co)inductive definitions
![Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]](/assets/placeholder/searchResultMediaUnknown.png)
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Extensions of system F by iteration and primitive recursion on monotone inductive types
Axiomatizations of Compositional Inductive-Recursive Definitions
Terminological reasoning and partial inductive definitions
Mittelwerte konvexliegender Zahlen und monotone Umordnung bei Integralungleichungen
Monotone multigrid methods for Signorini's problem with friction
Games on pushdown graphs and extensions
Analytizitätseigenschaften gewichteter zentraler Pfade bei monotonen Komplementaritätsproblemen und ihre Ausnutzung
Extensions of shallow water equations : = Erweiterungen der Flachwassergleichungen
Forbidden-patterns and word extensions for concatenation hierarchies
Iwasawa theory of ρ-adic [rho-adic] Lie extensions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Extensions of system F by iteration and primitive recursion on monotone inductive types
Axiomatizations of Compositional Inductive-Recursive Definitions
Terminological reasoning and partial inductive definitions
Mittelwerte konvexliegender Zahlen und monotone Umordnung bei Integralungleichungen
Monotone multigrid methods for Signorini's problem with friction
Games on pushdown graphs and extensions
Analytizitätseigenschaften gewichteter zentraler Pfade bei monotonen Komplementaritätsproblemen und ihre Ausnutzung
Extensions of shallow water equations : = Erweiterungen der Flachwassergleichungen
Forbidden-patterns and word extensions for concatenation hierarchies
Iwasawa theory of ρ-adic [rho-adic] Lie extensions
On extensions of AF2 with monotone and clausular (Co)inductive definitions
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Extensions of system F by iteration and primitive recursion on monotone inductive types
Axiomatizations of Compositional Inductive-Recursive Definitions
Terminological reasoning and partial inductive definitions
Mittelwerte konvexliegender Zahlen und monotone Umordnung bei Integralungleichungen
Monotone multigrid methods for Signorini's problem with friction
Games on pushdown graphs and extensions
Analytizitätseigenschaften gewichteter zentraler Pfade bei monotonen Komplementaritätsproblemen und ihre Ausnutzung
Extensions of shallow water equations : = Erweiterungen der Flachwassergleichungen
Forbidden-patterns and word extensions for concatenation hierarchies