Skip to content
<title>Channels - Game Refinement Relations and Metrics :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Game Refinement Relations and Metrics
Search for more channels:
Similar Items: Game Refinement Relations and Metrics
Channel Options
View Record
Explore related channels
Quick Look
Algorithms for Game Metrics
Quick Look
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
Quick Look
Refining Inductive Types
Quick Look
Refinement and Difference for Probabilistic Automata
Quick Look
Lowerbounds for Bisimulation by Partition Refinement
Quick Look
Predicate Abstraction with Under-approximation Refinement
Quick Look
Efficient and Modular Coalgebraic Partition Refinement
Quick Look
Applications of Metric Coinduction
Quick Look
Coalgebraic Behavioral Metrics
Quick Look
Trace Refinement in Labelled Markov Decision Processes
Quick Look
Correct and Efficient Antichain Algorithms for Refinement Checking
Quick Look
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Quick Look
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Quick Look
Refined Risk Bounds for Unbounded Losses via Transductive Priors
Quick Look
Expressiveness of Metric modalities for continuous time
Quick Look
On the Expressiveness and Monitoring of Metric Temporal Logic
Quick Look
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
Quick Look
Approximation systems for functions in topological and in metric spaces
Quick Look
Effective zero-dimensionality for computable metric spaces
Quick Look
Extending set functors to generalised metric spaces
Quick Look
Every metric space is separable in function realizability
Quick Look
On the Metric Temporal Logic for Continuous Stochastic Processes
Quick Look
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Quick Look
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Load more items
View Record
Prev
Explore related channels
Next
