Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Hannula, M.; Virtema, J.: Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. In: Annals of pure and applied logic 173 (2022), Nr. 10, 103108. DOI: https://doi.org/10.1016/j.apal.2022.103108
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2022
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Technische Informationsbibliothek (TIB)
- (wann)
-
2022
- Urheber
-
Hannula, Miika
Virtema, Jonni
- DOI
-
10.15488/12824
- URN
-
urn:nbn:de:101:1-2022101302112373678319
- 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
- Hannula, Miika
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2022
Ähnliche Objekte (12)
Fragments of existential second-order logic and logics with team semantics
Existential second-order logic over strings
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Feature-placing, localizability, and the semantics of existential sentences
Probabilistic models of natural language semantics
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics of probabilistic processes : an operational approach
Semantics and loop invariant synthesis for probabilistic programs
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge
Existential-fanal
Introducing environmental variables in nonparametric frontier models: A probabilistic approach
Derandomizing probabilistic semantics through Eilenberg-Moore algebras for the Giry monad
Fragments of existential second-order logic and logics with team semantics
Existential second-order logic over strings
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Feature-placing, localizability, and the semantics of existential sentences
Probabilistic models of natural language semantics
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics of probabilistic processes : an operational approach
Semantics and loop invariant synthesis for probabilistic programs
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge
Existential-fanal
Introducing environmental variables in nonparametric frontier models: A probabilistic approach
Derandomizing probabilistic semantics through Eilenberg-Moore algebras for the Giry monad
Fragments of existential second-order logic and logics with team semantics
Existential second-order logic over strings
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Feature-placing, localizability, and the semantics of existential sentences
Probabilistic models of natural language semantics
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics of probabilistic processes : an operational approach
Semantics and loop invariant synthesis for probabilistic programs
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge
Existential-fanal
Introducing environmental variables in nonparametric frontier models: A probabilistic approach