New types of automata to solve fixed point problems
Author: Klimann I.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.259, Iss.1, 2001-05, pp. : 183-197
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract