Merkliste 
 1 Ergebnisse 
 
1

Computing with Infinite Objects: the Gray Code Case:

Spreen, Dieter ; Berger, Ulrich
Logical Methods in Computer Science.  19, Issue 3 (2023)  - p. , 2023