Constructing logic programs

Authors:
Jean-Marie Jacquet
Affiliations:
Faculte´s Univ. Notre-Dame de la Paix, Namur, Belgium
Venue:
Constructing logic programs
Year:
1993

Citing 0
Cited 2

Logic Program Specialisation

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
A refinement calculus for logic programs

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract