search result

Cover von Real number computation through Gray code embedding

Real number computation through Gray code embedding

article
Author: Tsuiki, Hideki
Year: 2002
Media group: ARTICLE
Cover von Lawson topology of the space of formal balls and the hyperbolic topology

Lawson topology of the space of formal balls and the hyperbolic topology

article
Author: Tsuiki, Hideki; Hattori, Yasunao
Year: 2008
Media group: ARTICLE
Cover von Random Iteration Algorithm for Graph-Directed Sets

Random Iteration Algorithm for Graph-Directed Sets

Year: 2009
Media group: ARTICLE
Cover von On the Complexity of Lattice Puzzles

On the Complexity of Lattice Puzzles

Year: 2019
Media group: LIPIcs
Cover von Computing with infinite data; 8
topological and logical foundations Part 2 : special issue : pp. 1649-1823
Search for this author
Year: 2015
Publisher: Cambridge, Cambridge University Press
Count: 8
Media group: SPECIAL ISSUE
Cover von Preface to the special issue: Computing with infinite data

Preface to the special issue: Computing with infinite data

topological and logical foundations
Year: 2015
Media group: ARTICLE
Cover von Computing with infinite data; 7
topological and logical foundations Part 1 : special issue : pp. 1463-1625
Search for this author
Year: 2015
Publisher: Cambridge, Cambridge University Press
Count: 7
Media group: SPECIAL ISSUE
Cover von Computing with Infinite Data; 10
Topological and Logical Foundations : pp. 14-36
Search for this author
Year: 2011
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0