Physical sciences research papers. 349. Unsolvability of equivalence problem for free nondeterministic generalized machines [with list of references; by] T. V. Griffiths.

Tools