Buntrock, Gerhard; Hemachandra, Lane A.; Siefkes, Dirk Using inductive counting to simulate nondeterministic computation. (English) Zbl 0769.68028 Inf. Comput. 102, No. 1, 102-117 (1993). MSC: 68Q15 PDF BibTeX XML Cite \textit{G. Buntrock} et al., Inf. Comput. 102, No. 1, 102--117 (1993; Zbl 0769.68028) Full Text: DOI
Buntrock, Gerhard; Hemachandra, Lane A.; Siefkes, Dirk Using inductive counting to simulate nondeterministic computation. (English) Zbl 0747.68015 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 187-194 (1990). Reviewer: G.B.Marandzhyan (Erevan) MSC: 68Q15 68Q10 PDF BibTeX XML