Author: Sofroniou M.
Publisher: Academic Press
ISSN: 0747-7171
Source: Journal of Symbolic Computation, Vol.21, Iss.1, 1996-01, pp. : 101-131
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
The first-order theory of linear one-step rewriting is undecidable
By Treinen R.
Theoretical Computer Science, Vol. 208, Iss. 1, 1998-11 ,pp. :
By Yang Ruiguang Sun Mingwei Chen Zengqiang
International Journal of System Control and Information Processing, Vol. 1, Iss. 1, 2012-11 ,pp. :
Stability of linear time-delay systems
By Barkin A.
Automation and Remote Control, Vol. 67, Iss. 3, 2006-03 ,pp. :