Skip to content
<title>Channels - Verifying liquidity of recursive Bitcoin contracts :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Verifying liquidity of recursive Bitcoin contracts
Search for more channels:
Similar Items: Verifying liquidity of recursive Bitcoin contracts
Channel Options
View Record
Explore related channels
Quick Look
Policy-Bound, Verifier-Pluggable Smart Contract Framework for Auditable Healthcare Analytics
Quick Look
Verified Approximation Algorithms
Quick Look
Recursive Causal Discovery
Quick Look
Recursive Concurrent Stochastic Games
Quick Look
Positive Inductive-Recursive Definitions
Quick Look
Unguarded Recursion on Coinductive Resumptions
Quick Look
The recursion hierarchy for PCF is strict
Quick Look
A Light Modality for Recursion
Quick Look
Finite state verifiers with constant randomness
Quick Look
General Recursion via Coinductive Types
Quick Look
Semantics of Higher-Order Recursion Schemes
Quick Look
Defining Recursive Predicates in Graph Orders
Quick Look
TRX: A Formally Verified Parser Interpreter
Quick Look
Extracting verified decision procedures: DPLL and Resolution
Quick Look
Using models to model-check recursive schemes
Quick Look
Recursion Schemes, the MSO Logic, and the U quantifier
Quick Look
On the Semantic Expressiveness of Iso- and Equi-Recursive Types
Quick Look
A Program Logic for Verifying Secure Routing Protocols
Quick Look
L-Recursion and a new Logic for Logarithmic Space
Quick Look
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Quick Look
Model Checking Temporal Properties of Recursive Probabilistic Programs
Quick Look
OMEinsumContractionOrders: A Julia package for tensor network contraction order optimization
Quick Look
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Quick Look
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
Load more items
View Record
Prev
Explore related channels
Next
