Skip to content
<title>Channels - From coinductive proofs to exact real arithmetic: theory and applications :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
From coinductive proofs to exact real arithmetic: theory and applications
Search for more channels:
Similar Items: From coinductive proofs to exact real arithmetic: theory and applications
Channel Options
View Record
Explore related channels
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
Logic for exact real arithmetic
Quick Look
Type classes for efficient exact real arithmetic in Coq
Quick Look
Coinductive Proof Principles for Stochastic Processes
Quick Look
A new coinductive confluence proof for infinitary lambda calculus
Quick Look
Applications of Metric Coinduction
Quick Look
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Quick Look
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Quick Look
On linear rewriting systems for Boolean logic and some applications to proof theory
Quick Look
A Forgotten Theory of Proofs ?
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
Quick Look
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
Quick Look
On the strength of proof-irrelevant type theories
Quick Look
Foundations of regular coinduction
Quick Look
Classical BI: Its Semantics and Proof Theory
Quick Look
A Proof Theoretic Analysis of Intruder Theories
Quick Look
Exact Unification and Admissibility
Quick Look
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
Quick Look
Bounded Arithmetic in Free Logic
Quick Look
Indexed Induction and Coinduction, Fibrationally
Quick Look
Formal Languages, Formally and Coinductively
Quick Look
Unguarded Recursion on Coinductive Resumptions
Quick Look
On the logical complexity of cyclic arithmetic
Load more items
View Record
Prev
Explore related channels
Next
