Sciweavers

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

20

ENTCS
2008

favoriteEmaildiscussreport

105views more ENTCS 2008»

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

13 years 11 months ago

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

Download www.site.uottawa.ca

Alberto Momigliano, Alan J. Martin, Amy P. Felty

Real-time Traffic

ENTCS 2008 |

claim paper

Related Content

» Hybrid A Definitional TwoLevel Approach to Reasoning with HigherOrder Abstract Syntax

» Practical Programming with HigherOrder Encodings and Dependent Types

» A Hybrid Encoding of Howes Method for Establishing Congruence of Bisimilarity

» Automatic Detection of Uninitialized Variables

» Reasoning with hypothetical judgments and open terms in hybrid

» The HOLOmega Logic

» Induction and Coinduction in Sequent Calculus

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Alberto Momigliano, Alan J. Martin, Amy P. Felty

Comments (0)