Author： Avigad Jeremy Donnelly Kevin
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.38, Iss.4, 2007-05, pp. : 353-373
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
Access to resources
Recommend
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning, Vol. 52, Iss. 4, 2014-04 ,pp. :
Linear Decision Diagram Based Mapping for Rapid Prototyping
Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. :
The Optimal Solution of an Interval System of Linear Algebraic Equations
Reliable Computing, Vol. 11, Iss. 2, 2005-04 ,pp. :
Solving Overdetermined Systems of Interval Linear Equations
Reliable Computing, Vol. 12, Iss. 3, 2006-06 ,pp. :