On the power of counting the total number of computation paths of NPTMs

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Bakali, Eleni, Chalki, Aggeliki, Kanellopoulos, Sotiris, Pagourtzis, Aris, Zachos, Stathis
Format: Preprint
Published: 2023
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!