Skip to content
<title>Channels - Formal Languages, Formally and Coinductively :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Formal Languages, Formally and Coinductively
Search for more channels:
Similar Items: Formal Languages, Formally and Coinductively
Channel Options
View Record
Explore related channels
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
A Theory of Formal Choreographic Languages
Quick Look
Abstract Completion, Formalized
Quick Look
Formal Theories for Linear Algebra
Quick Look
Formalizing Randomized Matching Algorithms
Quick Look
$sigma$-locales in Formal Topology
Quick Look
Formalizing the Face Lattice of Polyhedra
Quick Look
The Formal Theory of Monads, Univalently
Quick Look
A Few Notes on Formal Balls
Quick Look
TRX: A Formally Verified Parser Interpreter
Quick Look
Formalization of Abstract State Transition Systems for SAT
Quick Look
A Formal Proof of the Irrationality of $zeta(3)$
Quick Look
On the Formal Privacy Guarantees of Synthetic Data (Generated Without Formal Privacy Guarantees)
Quick Look
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
Quick Look
Weighted Logics for Nested Words and Algebraic Formal Power Series
Quick Look
Formalized linear algebra over Elementary Divisor Rings in Coq
Quick Look
A Formal Explanation of Formal Explanation
Quick Look
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Quick Look
A Formal Model for Polarization under Confirmation Bias in Social Networks
Quick Look
Multi-representation associated to the numbering of a subbasis and formal inclusion relations
Quick Look
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
Quick Look
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
Quick Look
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Quick Look
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
Load more items
View Record
Prev
Explore related channels
Next
