![](/img/cover-not-exists.png)
Bottom-up abstract interpretation of logic programs
Michael Codish, Dennis Dams, Eyal YardeniVolume:
124
Year:
1994
Language:
english
Pages:
33
DOI:
10.1016/0304-3975(94)90055-8
File:
PDF, 2.09 MB
english, 1994