Skip to content
<title>Channels - Relational Parametricity and Control :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Relational Parametricity and Control
Search for more channels:
Similar Items: Relational Parametricity and Control
Channel Options
View Record
Explore related channels
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Relational Parametricity for Computational Effects
Quick Look
Parametric updates in parametric timed automata
Quick Look
Semantics and Algorithms for Parametric Monitoring
Quick Look
Parametricity for Nested Types and GADTs
Quick Look
Internal Parametricity for Cubical Type Theory
Quick Look
Reachability and liveness in parametric timed automata
Quick Look
On completeness and parametricity in the realizability semantics of System F
Quick Look
Language Preservation Problems in Parametric Timed Automata
Quick Look
A case study on parametric verification of failure detectors
Quick Look
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
Quick Look
Architectures in parametric component-based systems: Qualitative and quantitative modelling
Quick Look
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Quick Look
Identifiability of Causal Graphs under Non-Additive Conditionally Parametric Causal Models
Quick Look
Parametric a Priori-Aided Beamspace Channel Tracking for Terahertz Massive MIMO Systems
Quick Look
TarGene: A Nextflow pipeline for the estimation of genetic effects on human traits via semi-parametric methods.
Quick Look
An integrated SMC–NADRC robust control approach for electric power steering systems considering nonlinear friction and parametric uncertainties
Quick Look
Parametric design method of building structured cabling system oriented to data mining
Quick Look
Relating Apartness and Bisimulation
Quick Look
Sequential Relational Decomposition
Quick Look
Modal Logics of Topological Relations
Quick Look
Game Refinement Relations and Metrics
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Graph Logics with Rational Relations
Load more items
View Record
Prev
Explore related channels
Next
