A Framework for Proof Systems

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.45, Iss.2, 2010-08, pp. : 157-188

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Algebraic proof systems over formulas

By Grigoriev D. Hirsch E.A.

Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. : 83-102

Elsevier

Access to resources Recommend Favorite

The structural model of general systems and its proof

By Lin Fuyong Cheng T C Edwin

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 27, Iss. 9, 1998-09 ,pp. : 1062-1074

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Proof systems for structured specifications with observability operators

By Hennicker R. Wirsing M. Bidoit M.

Theoretical Computer Science, Vol. 173, Iss. 2, 1997-02 ,pp. : 393-443

Elsevier

Access to resources Recommend Favorite

A Framework for Community Information Systems

By Alencar P.S.C.

Annals of Software Engineering, Vol. 13, Iss. 1-4, 2002-06 ,pp. : 381-411

Springer Publishing Company

Access to resources Recommend Favorite

A framework for evaluating pervasive systems

By Yang Hen-I Chen Chao Abdulrazak Bessam Helal Sumi

International Journal of Pervasive Computing and Communications, Vol. 6, Iss. 4, 2010-11 ,pp. : 432-481

Emerald Group Publishing Ltd

Access to resources Recommend Favorite