Author： Abed Sa’ed Ait Mohamed Otmane Al Sammane Ghiath
Publisher： Springer Publishing Company
ISSN： 0934-5043
Source： Formal Aspects of Computing, Vol.25, Iss.6, 2013-11, pp. : 971-991
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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. :
Access to resources
Recommend
A combinatory logic approach to higher-order E-unification
Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. :
On behavioural abstraction and behavioural satisfaction in higher-order logic
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :