Automatic verification of reduction techniques in Higher Order Logic

By Abed Sa’ed   Ait Mohamed Otmane   Al Sammane Ghiath  

Formal Aspects of Computing, Vol. 25, Iss. 6, 2013-11 ,pp. : 971-991

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

On behavioural abstraction and behavioural satisfaction in higher-order logic

By Hofmann M.   Sannella D.  

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

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