Skip to content
<title>Channels - TRX: A Formally Verified Parser Interpreter :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
TRX: A Formally Verified Parser Interpreter
Search for more channels:
Similar Items: TRX: A Formally Verified Parser Interpreter
Channel Options
View Record
Explore related channels
Quick Look
Verified Approximation Algorithms
Quick Look
Lexicalization in the developing parser
Quick Look
Finite state verifiers with constant randomness
Quick Look
Verifying liquidity of recursive Bitcoin contracts
Quick Look
Formal Languages, Formally and Coinductively
Quick Look
A Program Logic for Verifying Secure Routing Protocols
Quick Look
Extracting verified decision procedures: DPLL and Resolution
Quick Look
Abstract Completion, Formalized
Quick Look
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
Quick Look
Policy-Bound, Verifier-Pluggable Smart Contract Framework for Auditable Healthcare Analytics
Quick Look
A Few Notes on Formal Balls
Quick Look
A Theory of Formal Choreographic Languages
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 Formal Proof of the Irrationality of $zeta(3)$
Quick Look
Formalization of Abstract State Transition Systems for SAT
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
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
Parser agreement and disagreement in L2 Korean UD: Implications for human-in-the-loop annotation
Load more items
View Record
Prev
Explore related channels
Next
