Add to ORKG1.1 Computations The applications of topological and order structures in Theory of Computa-tion, a key aspect of Foundations of Mathematics and of Theoretical Computer Science, has various origins and it is largely due to the relevance of these struc
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
Combining concepts from topology and algorithms, this book delivers what its title promises: an intr...
In this paper, we survey the use of order-theoretic topology in theoretical computer science, with a...
AbstractIn this paper, we survey the use of order-theoretic topology in theoretical computer science...
This paper study the construction of different topologies from a Lattice using its algebraic structu...
Topological notions and methods have successfully been applied in various areas of computer science....
The authors of this article believe there is or should be a research area appropriately referred to ...
Abstract. The paper presents an introduction to computer topology with applications to image process...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
AbstractA concrete model of computation for a topological algebra is based on a representation of th...
AbstractThe main mathematical disciplines that have been used in computer science are discrete mathe...
AbstractComputability theory, which investigates computable functions and computable sets, lies at t...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
Computable analysis provides a formalization of algorithmic computations over infinite mathematical ...
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
Combining concepts from topology and algorithms, this book delivers what its title promises: an intr...
In this paper, we survey the use of order-theoretic topology in theoretical computer science, with a...
AbstractIn this paper, we survey the use of order-theoretic topology in theoretical computer science...
This paper study the construction of different topologies from a Lattice using its algebraic structu...
Topological notions and methods have successfully been applied in various areas of computer science....
The authors of this article believe there is or should be a research area appropriately referred to ...
Abstract. The paper presents an introduction to computer topology with applications to image process...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
AbstractA concrete model of computation for a topological algebra is based on a representation of th...
AbstractThe main mathematical disciplines that have been used in computer science are discrete mathe...
AbstractComputability theory, which investigates computable functions and computable sets, lies at t...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
Computable analysis provides a formalization of algorithmic computations over infinite mathematical ...
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
Combining concepts from topology and algorithms, this book delivers what its title promises: an intr...