Author: Jenkinson O. Zamboni L.Q.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.310, Iss.1, 2004-01, pp. : 247-271
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
Macroscopic characterisations of Web accessibility
New Review in Hypermedia and Multimedia, Vol. 16, Iss. 3, 2010-12 ,pp. :
Better-quasi-orderings and coinduction
By Forster T.
Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. :
Involutive divisions and monomial orderings
Programming and Computer Software, Vol. 33, Iss. 3, 2007-05 ,pp. :