Skip to content
<title>Channels - Distances between States and between Predicates :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Distances between States and between Predicates
Search for more channels:
Similar Items: Distances between States and between Predicates
Channel Options
View Record
Explore related channels
Quick Look
Spatial logics with connectedness predicates
Quick Look
Predicative theories of continuous lattices
Quick Look
Expressive Logics for Coinductive Predicates
Quick Look
Predicate Abstraction with Under-approximation Refinement
Quick Look
Defining Recursive Predicates in Graph Orders
Quick Look
Predicate Abstraction via Symbolic Decision Procedures
Quick Look
On Irrelevance and Algorithmic Equality in Predicative Type Theory
Quick Look
Covering and separation for logical fragments with modular predicates
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
The Data Complexity of Ontology-Mediated Queries with Closed Predicates
Quick Look
Theories of real addition with and without a predicate for integers
Quick Look
Proof-irrelevant model of CC with predicative induction and judgmental equality
Quick Look
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Quick Look
Sharing proofs with predicative theories through universe-polymorphic elaboration
Quick Look
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Quick Look
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
Quick Look
Drawing with Distance
Quick Look
Hamming distance between finite transducers
Quick Look
Axiomatization of betweenness in order-theoretic trees
Quick Look
Monadic Presburger Predicates have Robust Population Protocols
Quick Look
On-the-Fly Computation of Bisimilarity Distances
Quick Look
Edit Distance for Pushdown Automata
Quick Look
Randomness extraction and asymptotic Hamming distance
Quick Look
Differentials and distances in probabilistic coherence spaces
Load more items
View Record
Prev
Explore related channels
Next
