×

zbMATH — the first resource for mathematics

SPARSE reduces conjunctively to TALLY. (English) Zbl 0830.68042

MSC:
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)
PDF BibTeX XML Cite
Full Text: DOI