Skip to content
<title>Channels - Step-Indexed Relational Reasoning for Countable Nondeterminism :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Step-Indexed Relational Reasoning for Countable Nondeterminism
Search for more channels:
Similar Items: Step-Indexed Relational Reasoning for Countable Nondeterminism
Channel Options
View Record
Explore related channels
Quick Look
Logical Step-Indexed Logical Relations
Quick Look
A Hierarchy of Nondeterminism
Quick Look
Cores of Countably Categorical Structures
Quick Look
The Church Problem for Countable Ordinals
Quick Look
Mixed powerdomains for probability and nondeterminism
Quick Look
Interaction and Depth against Nondeterminism in Proof Search
Quick Look
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
Quick Look
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Quick Look
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Quick Look
A Step-indexed Semantics of Imperative Objects
Quick Look
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Quick Look
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Quick Look
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
Quick Look
On countable isotypic structures
Quick Look
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Quick Look
Footprints in Local Reasoning
Quick Look
Interactive Small-Step Algorithms I: Axiomatization
Quick Look
On the Convergence of Projected Policy Gradient for Any Constant Step Sizes
Quick Look
Efficient Open World Reasoning for Planning
Quick Look
Reasoning about Strategies: on the Satisfiability Problem
Quick Look
Reasonable Space for the ${lambda}$-Calculus, Logarithmically
Quick Look
Approximate reasoning for real-time probabilistic processes
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
Reasoning about Data Repetitions with Counter Systems
Load more items
View Record
Prev
Explore related channels
Next
