Author： Shilov N.V.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.175, Iss.1, 1997-03, pp. : 15-27
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Decidability of logic program semantics and applications to testing
By Ruggieri S.
The Journal of Logic Programming, Vol. 46, Iss. 1, 2000-11 ,pp. :
Access to resources
Recommend
ACTIVE vs. PASSIVE APPROACHES TO INTELLIGENT PROGRAM DIAGNOSIS
By Ramadhan Haider A. Shihab Khalik
Cybernetics and Systems, Vol. 33, Iss. 3, 2002-04 ,pp. :
Decidability of equivalence for deterministic synchronized tree automata
By Salomaa K.
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :
Number-conserving cellular automata I: decidability
By Durand B. Formenti E. Roka Z.
Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. :