Results 261 to 270 of about 1,309,863 (280)

Proving pointer programs in higher-order logic

Information and Computation, 2005
Tobias Nipkow
exaly  

Higher-order Logics

2013
openaire   +1 more source

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

Theoretical Computer Science, 1999
Mitsuhiro Okada
exaly  

C–H functionalization logic in total synthesis

Chemical Society Reviews, 2011
Will R Gutekunst, Phil S Baran
exaly  

Implementing tactics and tacticals in a higher-order logic programming language

Journal of Automated Reasoning, 1993
Amy P Felty
exaly  

Higher-Order Logic

2011
openaire   +1 more source

Formalization of Reliability Block Diagrams in Higher-order Logic

Journal of Applied Logic, 2016
Waqar Ahmed, Osman Hasan, Sofiene Tahar
exaly  

Fibring higher-order logics

2008
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas   +4 more
openaire   +1 more source

Extensional Higher-Order Logic Programming

ACM Transactions on Computational Logic, 2013
Angelos Charalambidis
exaly  

Higher-Order Logic

2001
van Benthem, J.F.A.K., Doets, H.C.
openaire   +1 more source