Author： Janssen T.M.V.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.199, Iss.1, 1998-06, pp. : 25-56
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 relation algebraic model of robust correctness
By Gritzner T.F. Berghammer R.
Theoretical Computer Science, Vol. 159, Iss. 2, 1996-06 ,pp. :
Access to resources
Recommend
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
By de Groote P.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
Compiler Optimization Correctness by Temporal Logic
By Lacey David
LISP and Symbolic Computation, Vol. 17, Iss. 3, 2004-09 ,pp. :
Algebraic XML Construction and its Optimization in Natix
By Fiebig T.
World Wide Web, Vol. 4, Iss. 3, 2001-01 ,pp. :