Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
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
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2022
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2022
- Creator
-
Hannula, Miika
Virtema, Jonni
- DOI
-
10.15488/12824
- URN
-
urn:nbn:de:101:1-2022101302112373678319
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 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.
Associated
- Hannula, Miika
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2022
Other Objects (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