Author: Kress Moshe
Publisher: Springer Publishing Company
ISSN: 0254-5330
Source: Annals of Operations Research, Vol.148, Iss.1, 2006-11, pp. : 5-23
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
Partial Evaluation of Computation Process, Revisited
By Futamura Y.
LISP and Symbolic Computation, Vol. 12, Iss. 4, 1999-12 ,pp. :
Automatic Verification of Static Policies on Software Process Models
By Reis R.Q.
Annals of Software Engineering, Vol. 14, Iss. 1-4, 2002-12 ,pp. :
Deontic logics for prioritized imperatives
By Hansen Jörg
Artificial Intelligence and Law, Vol. 14, Iss. 1-2, 2006-04 ,pp. :
Probabilistic and prioritized models of timed CSP
By Lowe G.
Theoretical Computer Science, Vol. 138, Iss. 2, 1995-02 ,pp. :