A Separation Theorem in Property Testing

Combinatorica - Germany
doi 10.1007/s00493-008-2321-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Separation Theorem for Manifolds

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1969English

Lindelof Property in Function Spaces and a Related Selection Theorem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1987English

PrologCheck – Property-Based Testing in Prolog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Consensus Algorithms and the Decomposition-Separation Theorem

2013English

Some Attributes of a Language for Property-Based Testing

2011English

Some Attributes of a Language for Property-Based Testing.

2004English

Property Testing Lower Bounds via Communication Complexity

Computational Complexity
MathematicsComputational MathematicsTheoretical Computer ScienceComputational Theory
2012English

A Central Limit Theorem and Hypotheses Testing for Risk-Averse Stochastic Programs

SIAM Journal on Optimization
Theoretical Computer ScienceSoftware
2018English

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy