Author： Mauborgne L.
Publisher： Elsevier
ISSN： 0167-6423
Source： Science of Computer Programming, Vol.47, Iss.2, 2003-05, pp. : 121-144
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
A representation theorem for recovering contraction relations satisfying wci
By Zhu Z. Li B. Xiao X. Chen S. Zhu W.
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :
Access to resources
Recommend
Computing with infinitary logic
By Abiteboul S. Vardi M.Y. Vianu V.
Theoretical Computer Science, Vol. 149, Iss. 1, 1995-09 ,pp. :
By Kennaway J.R. Klop J.W. Sleep M.R. de Vries F.J.
Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. :
Infinitary rewriting: meta-theory and convergence
By Kahrs Stefan
Acta Informatica, Vol. 44, Iss. 2, 2007-05 ,pp. :