Results: 4
Corrigendum Learning Two-Type Automata from Queries and Counterexamples.
- Published in:
- 2002
- By:
- Publication type:
- Correction Notice
The Difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributional Problems.
- Published in:
- Theory of Computing Systems, 2002, v. 35, n. 4, p. 449, doi. 10.1007/s00224-002-1025-y
- By:
- Publication type:
- Article
The Mortality Problem for Matrices of Low Dimensions.
- Published in:
- Theory of Computing Systems, 2002, v. 35, n. 4, p. 433, doi. 10.1007/s00224-002-1010-5
- By:
- Publication type:
- Article
Black-Box Correctness Tests for Basic Parallel Data Structures.
- Published in:
- Theory of Computing Systems, 2002, v. 35, n. 4, p. 391, doi. 10.1007/s00224-002-1046-6
- By:
- Publication type:
- Article