Interaction Graphs: Non-Deterministic Automata

Seiller, T

Seiller, T (reprint author), CNRS, Villetaneuse, France.; Seiller, T (reprint author), Univ Copenhagen, Copenhagen, Denmark.; Seiller, T (reprint author), CNRS, LIPN UMR 7030, F-93430 Villetaneuse, France.; Seiller, T (reprint author), Univ Paris 13, Inst

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018; 19 (3):

Abstract

This article exhibits a series of semantic characterisations of sublinear nondeterministic complexity classes. These results fall into the general dom......

Full Text Link