Sciweavers

13277 search results - page 55 / 2656
» An Approach to Clustering Abstracts
Sort
View
83
Voted
CORR
2008
Springer
109views Education» more  CORR 2008»
15 years 4 months ago
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
Amy P. Felty, Alberto Momigliano