Logic for Gray-code computation
From MaRDI portal
Publication:5221791
Recommendations
Cited in
(10)- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- scientific article; zbMATH DE number 7731929 (Why is no real title available?)
- scientific article; zbMATH DE number 7350773 (Why is no real title available?)
- Real number computation through Gray code embedding.
- A note on two's company: ``The humbug of many logical values
- Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
- Program extraction from proofs: the fan theorem for uniformly coconvex bars
- Lookahead analysis in exact real arithmetic with logical methods
- Intuitionistic fixed point logic
This page was built for publication: Logic for Gray-code computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221791)