Results 311 to 320 of about 307,376 (353)
Some of the next articles are maybe not open access.
Correction to “Strong Reducibilities of Enumerations and Partial Enumerated Algebras”
Mathematical Logic Quarterly, 1989Correction to the author's paper, ibid. 34, No.2, 143-162 (1988; Zbl 0655.03030).
openaire +2 more sources
Journal of Symbolic Logic, 1959
It is known [1] p. 312 that a simultaneous enumeration of the recursively enumerable sets can be achieved by a Σ10-predicate. We shall show that a simultaneous enumeration of the recursive sets can be achieved by a predicate of the same form.
openaire +3 more sources
It is known [1] p. 312 that a simultaneous enumeration of the recursively enumerable sets can be achieved by a Σ10-predicate. We shall show that a simultaneous enumeration of the recursive sets can be achieved by a predicate of the same form.
openaire +3 more sources
The Complexity of Enumeration and Reliability Problems
SIAM journal on computing (Print), 1979L. Valiant
semanticscholar +1 more source
2012
We address the concrete problem of enumerating sets of discrete objects. Enumerating sets of objects is essential when the sets are infinite or too large to be computed in extenso. We give an abstract data type for the concept of an enumerator of objects.
openaire +2 more sources
We address the concrete problem of enumerating sets of discrete objects. Enumerating sets of objects is essential when the sets are infinite or too large to be computed in extenso. We give an abstract data type for the concept of an enumerator of objects.
openaire +2 more sources
Refined Notions of Parameterized Enumeration Kernels With Applications to Matching Cut Enumeration
Journal of Computer and System Sciences, 2022Petr Golovach +2 more
exaly
Extraction, enumeration and identification methods for monitoring microplastics in the environment
, 2016Qiongxuan Qiu +5 more
semanticscholar +1 more source
Enumeration of bacteriophages by double agar overlay plaque assay.
Methods in molecular biology, 2009A. Kropinski +4 more
semanticscholar +1 more source
Globally Optimal Distillation Column Design Using Set Trimming and Enumeration Techniques
Computers and Chemical Engineering, 2023Argimiro Resende Secchi +2 more
exaly
Scalable Distributed Subgraph Enumeration
Proceedings of the VLDB Endowment, 2016Longbin Lai +5 more
semanticscholar +1 more source