Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TPHOL
1998
IEEE

favoriteEmaildiscussreport

96views Automated Reasoning» more TPHOL 1998»

Free Variables and Subexpressions in Higher-Order Meta Logic

13 years 9 months ago

Free Variables and Subexpressions in Higher-Order Meta Logic

Download www.cs.hofstra.edu

Chuck Liang

Real-time Traffic

Automated Reasoning | TPHOL 1998 |

claim paper

Related Content

» Nominal Unification from a HigherOrder Perspective

» The Relative Complement Problem for HigherOrder Patterns

» Proof Pearl The Power of HigherOrder Encodings in the Logical Framework LF

» EMatching with Free Variables

» A computational approach to reflective metareasoning about languages with bindings

» A Verified Compiler for an Impure Functional Language

» Metaprogramming with names and necessity

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	TPHOL
Authors	Chuck Liang

Comments (0)