Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories

From MaRDI portal

(Redirected from Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Turing_machines_with_linear_alternation,_theories_of_bounded_concatenation_and_the_decision_problem_of_first_order_theories&oldid=64377093"