Conference Proceedings

A CHARACTERIZATION OF NON-FLOUNDERING LOGIC PROGRAMS

K MARRIOTT, H SONDERGAARD, P DART, S DEBRAY, M HERMENEGILDO

LOGIC PROGRAMMING : PROCEEDINGS OF THE 1990 NORTH AMERICAN CONFERENCE | M I T PRESS | Published : 1990

Citation metrics

2Web of Science

Keywords

Technology
Science & Technology
Engineering, Electrical & Electronic
Engineering