![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Decidability of logic program semantics and applications to testing
By Ruggieri S.
The Journal of Logic Programming, Vol. 46, Iss. 1, 2000-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
ACTIVE vs. PASSIVE APPROACHES TO INTELLIGENT PROGRAM DIAGNOSIS
By Ramadhan Haider A. Shihab Khalik
Cybernetics and Systems, Vol. 33, Iss. 3, 2002-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Decidability of equivalence for deterministic synchronized tree automata
By Salomaa K.
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Number-conserving cellular automata I: decidability
By Durand B. Formenti E. Roka Z.
Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. :