Sciweavers

Share
43 search results - page 1 / 9
» Reasoning with Higher-Order Abstract Syntax and Contexts: A ...
Sort
View
ENTCS
2008
105views more  ENTCS 2008»
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
books