Sciweavers

ASIAN
2004
Springer

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

13 years 9 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where ASIAN
Authors Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
Comments (0)