Author: Höhle* U.
Publisher: Taylor & Francis Ltd
ISSN: 0308-1079
Source: International Journal of General Systems, Vol.32, Iss.4, 2003-07, pp. : 385-414
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 bisimulation equivalence for normed pushdown processes
By Stirling C.
Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. :
Linear Problems in Valued Fields
By Sturm T.
Journal of Symbolic Computation, Vol. 30, Iss. 2, 2000-08 ,pp. :