Logic for Gray-code Computation
From MaRDI portal
Publication:5221791
DOI10.1515/9781501502620-005zbMath1433.03120OpenAlexW2500726595MaRDI QIDQ5221791
Kenji Miyamoto, Hideki Tsuiki, Ulrich Berger, Helmut Schwichtenberg
Publication date: 3 April 2020
Published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)
Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa28978
Constructive and recursive analysis (03F60) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Computation over the reals, computable analysis (03D78)
Related Items (9)
A note on two's company: ``The humbug of many logical values ⋮ Unnamed Item ⋮ Lookahead analysis in exact real arithmetic with logical methods ⋮ Unnamed Item ⋮ Intuitionistic fixed point logic ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs ⋮ Program Extraction from Proofs: The Fan Theorem for Uniformly Coconvex Bars
This page was built for publication: Logic for Gray-code Computation
