1445 search results - page 24 / 289 » Abstract Interpretation of Logic Programs |
ELP
1989
15 years 1 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
IFM
2009
Springer
15 years 4 months ago
2009
Springer
ASIAN
2004
Springer
15 years 3 months ago
2004
Springer
DCOSS
2006
Springer
15 years 1 months ago
2006
Springer
