Skip to content
<title>Channels - Probability Logic for Harsanyi Type Spaces :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Probability Logic for Harsanyi Type Spaces
Search for more channels:
Similar Items: Probability Logic for Harsanyi Type Spaces
Channel Options
View Record
Explore related channels
Quick Look
Accelerating optimization over the space of probability measures
Quick Look
Probabilistic logics based on Riesz spaces
Quick Look
Model Checking Spatial Logics for Closure Spaces
Quick Look
Stone-Type Dualities for Separation Logics
Quick Look
Banach Spaces as Data Types
Quick Look
Accelerating optimization over the space of probability measures
Quick Look
Accelerating optimization over the space of probability measures
Quick Look
Accelerating optimization over the space of probability measures
Quick Look
L-Recursion and a new Logic for Logarithmic Space
Quick Look
Type Isomorphisms for Multiplicative-Additive Linear Logic
Quick Look
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Quick Look
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Quick Look
Mixed powerdomains for probability and nondeterminism
Quick Look
Computability of Probability Distributions and Characteristic Functions
Quick Look
Concurrency and Probability: Removing Confusion, Compositionally
Quick Look
A Method for Bounding Tail Probabilities
Quick Look
Optimization Over a Probability Simplex
Quick Look
The parameterized space complexity of model-checking bounded variable first-order logic
Quick Look
Hyper Normalisation and Conditioning for Discrete Probability Distributions
Quick Look
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Quick Look
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Quick Look
Foundations of probability-raising causality in Markov decision processes
Quick Look
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
Quick Look
Deriving Probability Density Functions from Probabilistic Functional Programs
Load more items
View Record
Prev
Explore related channels
Next
