Amanote Research

Amanote Research

    RegisterSign In

Deep Inference and Probabilistic Coherence Spaces

Applied Categorical Structures - Netherlands
doi 10.1007/s10485-010-9241-0
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

December 23, 2010

Authors
Richard BlutePrakash PanangadenSergey Slavnov
Publisher

Springer Science and Business Media LLC


Related search

Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Coherence and Probability: A Probabilistic Account of Coherence

Law and Philosophy Library
2013English

Probabilistic Inference in Hybrid Domains

2017English

Simultaneous Trajectory Estimation and Planning via Probabilistic Inference

2017English

Probabilistic Modelling, Inference and Learning Using Logical Theories

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Deep Active Inference and Scene Construction

2020English

Probabilistic B-Metric Spaces and Nonlinear Contractions

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2017English

Topologies for Probabilistic Metric Spaces

Pacific Journal of Mathematics
Mathematics
1976English

On Locally Convex Probabilistic Normed Spaces

Journal of Inequalities and Applications
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy