On behavioural abstraction and behavioural satisfaction in higher-order logic

Author： Hofmann M.   Sannella D.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.167, Iss.1, 1996-10, pp. : 3-45

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

Verification of FPGA Layout Generators in Higher-Order Logic

By Pell Oliver  

Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. : 117-152

Springer Publishing Company

Access to resources Recommend Favorite

A combinatory logic approach to higher-order E-unification

By Dougherty D.J.   Johann P.  

Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. : 207-242

Elsevier

Access to resources Recommend Favorite

A behavioural theory of first-order CML

By Ferreira W.   Hennessy M.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 55-107

Elsevier

Access to resources Recommend Favorite

Verifying Termination and Reduction Properties about Higher-Order Logic Programs

By Pientka Brigitte  

Journal of Automated Reasoning, Vol. 34, Iss. 2, 2005-12 ,pp. : 179-207

Springer Publishing Company

Access to resources Recommend Favorite

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

By Dietzen S.  

Machine Learning, Vol. 09, Iss. 1, 1992-06 ,pp. : 23-55

Springer Publishing Company

Access to resources Recommend Favorite