Real-time recognition of the inclusion relation

DOI10.1007/BF01117471zbMath0253.02043OpenAlexW2051800423WikidataQ56658689 ScholiaQ56658689MaRDI QIDQ2557695

Yu. V. Matiyasevich

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01117471

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Turing machines and related notions (03D10)

Related Items (4)

Multiple serial episodes matching ⋮ Validating the Knuth-Morris-Pratt failure function, fast and online ⋮ Low complexity algorithms in knot theory ⋮ Window-accumulated subsequence matching problem is linear

This page was built for publication: Real-time recognition of the inclusion relation