On the Power of Counting the Total Number of Computation Paths of NPTMs.

Eleni Bakali, Aggeliki Chalki, Sotiris Kanellopoulos, Aris Pagourtzis, Stathis Zachos

Browse the full TAMC paper archive.