Skip to content <title>Channels - Axiomatizing Maximal Progress and Discrete Time :: FRELIP Discovery

Home Search Guides Journals Learning

FRELIP Discovery Search

Open Access Catalog for African Scholarship

Channels
Axiomatizing Maximal Progress and Discrete Time

Search for more channels:

Similar Items: Axiomatizing Maximal Progress and Discrete Time

View Record
Explore related channels

Quick Look
Axiomatizing Hybrid XPath with Data
Quick Look
An Axiomatic Definition of Hierarchical Clustering
Quick Look
Axiomatization of betweenness in order-theoretic trees
Quick Look
Arboreal Categories: An Axiomatic Theory of Resources
Quick Look
Impure Simplicial Complexes: Complete Axiomatization
Quick Look
Interactive Small-Step Algorithms I: Axiomatization
Quick Look
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
Quick Look
Verification for Timed Automata extended with Unbounded Discrete Data Structures
Quick Look
Four Axiomatic Characterizations of the Integrated Gradients Attribution Method
Quick Look
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
Quick Look
AQEval: R code for the analysis of discrete change in air quality time-series
Quick Look
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Quick Look
Incarnation in Ludics and maximal cliques of paths
Quick Look
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Quick Look
On Global and Local Convergence of Iterative Linear Quadratic Optimization Algorithms for Discrete Time Nonlinear Control
Quick Look
An Axiomatic Definition of Hierarchical Clustering
Quick Look
An Axiomatic Definition of Hierarchical Clustering
Quick Look
An Axiomatic Definition of Hierarchical Clustering
Quick Look
Overlap Algebras as Almost Discrete Locales
Quick Look
On Bisimilarity for Quasi-discrete Closure Spaces
Quick Look
Unified Discrete Diffusion for Categorical Data
Quick Look
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Quick Look
Determinacy in Discrete-Bidding Infinite-Duration Games
Quick Look
Hyper Normalisation and Conditioning for Discrete Probability Distributions

About FRELIP

Free eLibrary Portal (FRELIP) provides access to academic resources, research materials, and scholarly publications from Nigerian universities and research institutions.

Quick Links

FRELIP Home
About FRELIP
Research Guides
Search Catalog

Resources

Indexed Records: 13,069+
RSS Feeds: 6,699+
Disciplines: 14
Subjects: 155

© 2026 FRELIP - Free eLibrary Portal | frelip.org | Powered by VuFind