dblp.uni-trier.dewww.uni-trier.de

Andrew Heaton

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
2EEAndrew Heaton, Patricia M. Hill, Andy King: Abstract Domains for Universal and Existential Properties. ESOP 2000: 150-164
1997
1EEAndrew Heaton, Patricia M. Hill, Andy King: Analysis of Logic Programs with Delay. LOPSTR 1997: 148-167

Coauthor Index

1Patricia M. Hill [1] [2]
2Andy King [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)