Computing with Infinite Data: Topological and Logical Foundations Edited by (original) (raw)
Related papers
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
Preface to the special issue: Computing with infinite data: topological and logical foundations
Mathematical Structures in Computer Science, 2014
07441 Abstracts Collection--Algorithmic-Logical Theory of Infinite Structures}
On problems of databases over a fixed infinite universe
Banach Center Publications, 1999
Mathematical Foundations of the Infinity Computer
08271 Abstracts Collection--Topological and Game-Theoretic Aspects of Infinite Computations}
Recursion and topology on 2⩽ω for possibly infinite computations
Theoretical Computer Science, 2004
Unbounded computational structures
Software: Practice and Experience, 1978
CID - Computing with Infinite Data
Bull. EATCS, 2017
Multidimensional infinite data in the language Lucid
Mathematical Structures in Computer Science, 2014
Computing with Infinite Objects: the Gray Code Case
ArXiv, 2021
Data structure as topological spaces
Unconventional Models of Computation, 2002
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
2005
Theory Exploration on Infinite Structures
2017
1 Automata-based presentations of infinite structures
2010
Automata-based presentations of infinite structures
Finite and Algorithmic Model Theory (volume 379 of London Mathematical Society Lecture Notes Series), 2011
An axiomatic study of infinite basis
Citeseer
Reasoning about Infinite Computations
Information and Computation, 1994
Contractive Functions on Infinite Data Structures
2016
Recursion and topology on 2<=omega for possibly infinite computations
Theoretical Computer Science, 2004
Towards a computation system based on set theory
Theoretical Computer Science, 1988
Finite Presentations of Infinite Structures: Automata and Interpretations
Theory of Computing Systems, 2004
Constructive Computation Theory
2002
On the representation of infinite temporal data and queries
1991
Proving Productivity in Infinite Data Structures
Copatterns: programming infinite structures by observations
2013
SIAM Journal on Computing, 1976
Fine Hierarchies of Generic Computation
International Conference on Database Theory, 1997
2023
Ensuring the Productivity of Infinite Structures
1997
Reasoning about infinite computation paths
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 1983
Mathematical Theories in the Era of Big Data
Mathematical Problems in Engineering, 2019