Minimal verifying tests of functions from the Post classes

DOI10.1515/DMA.1993.3.3.321zbMath0796.94015OpenAlexW2062305791MaRDI QIDQ4303910

O. A. Dolotova

Publication date: 7 September 1994

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma.1993.3.3.321

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

This page was built for publication: Minimal verifying tests of functions from the Post classes