R. S. Kemp

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

1 R. S. Kemp, Graem A. Ringwood: An Algebraic Framework for Abstract Interpretation of Definite Programs. NACLP 1990: 516-530

	1990
1		R. S. Kemp, Graem A. Ringwood: An Algebraic Framework for Abstract Interpretation of Definite Programs. NACLP 1990: 516-530

Coauthor Index