Preface to the special issue: Computing with infinite data: topological and logical foundations (original) (raw)
Related papers
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
Computing with Infinite Data: Topological and Logical Foundations Edited by
2011
07441 Abstracts Collection--Algorithmic-Logical Theory of Infinite Structures}
08271 Abstracts Collection--Topological and Game-Theoretic Aspects of Infinite Computations}
On problems of databases over a fixed infinite universe
Banach Center Publications, 1999
Recursion and topology on 2⩽ω for possibly infinite computations
Theoretical Computer Science, 2004
On some problems in computable topology
Logic Colloquium 2005, 2007
Data structure as topological spaces
Unconventional Models of Computation, 2002
Recursion and topology on 2<=omega for possibly infinite computations
Theoretical Computer Science, 2004
Contractive Functions on Infinite Data Structures
2016
2003
An axiomatic study of infinite basis
Citeseer
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
2005
On the representation of infinite temporal data and queries
1991
CID - Computing with Infinite Data
Bull. EATCS, 2017
1 Automata-based presentations of infinite structures
2010
Multidimensional infinite data in the language Lucid
Mathematical Structures in Computer Science, 2014
Computing with Infinite Objects: the Gray Code Case
ArXiv, 2021
Unbounded computational structures
Software: Practice and Experience, 1978
Descriptive Set Theory and Computable Topology
2022
Logical Foundations of Computer Science
Lecture Notes in Computer Science, 2009
On the representation of infinite temporal data and queries (extended abstract)
Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '91, 1991
A coinductive approach to computing with compact sets
Journal of Logic and Analysis
Proving Productivity in Infinite Data Structures
Collection Topological and Game-Theoretic Aspects of In nite Computations Dagstuhl Seminar
2008
Reasoning about Infinite Computations
Information and Computation, 1994
Constructive Computation Theory
2002
Automata-based presentations of infinite structures
Finite and Algorithmic Model Theory (volume 379 of London Mathematical Society Lecture Notes Series), 2011
A Constant-Space Sequential Model of Computation for First-Order Logic
Information and Computation, 1998
Steve Smale, Michael Shub, Lenore Blum
Foundations of Computer Science, …, 1988