33 citations · 67 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Computing with Infinite Objects: the Gray Code Case
Dieter Spreen, Ulrich Berger
Infinite Gray code has been introduced by Tsuiki as a redundancy-free representation of the reals. In applications the signed digit representation is mostly used which has maximal…
cs.LO2021
Extracting total Amb programs from proofs
Ulrich Berger, Hideki Tsuiki
We present a logical system CFP (Concurrent Fixed Point Logic) from whose proofs one can extract nondeterministic and concurrent programs that are provably total and correct with r…