Search alternatives:
tables algorithms » tableau algorithms, trees algorithms, tableau algorithm

1
Published 2003
Springer US
Table of Contents: ...Truth-Table Complete Computably Enumerable Sets -- Completeness and Universality of Arithmetical...