Sciweavers

Share
ENTCS
2008

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

8 years 6 months ago
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
Alberto Momigliano, Alan J. Martin, Amy P. Felty
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)
books