Functions as passive constraints in LIFE von Aït-Kaci, Hassan, Podelski, Andreas

“… Paris Research Laboratory: PRL research reports …”

Pattern matching in order-sorted languages von Kesner, Delia

“… Paris Research Laboratory: PRL research reports …”

Residuation and guarded rules for constraint logic programming von Smolka, Gert 1955-

“… Paris Research Laboratory: PRL research reports …”

Towards a meaning of LIFE von Aït-Kaci, Hassan, Podelski, Andreas

“… Paris Research Laboratory: PRL research reports …”

Constructive logic von Gallier, Jean H. 1949-

“… Digital Equipment Corporation, Maynard, Mass., Paris Research Laboratory: PRL research reports …”

Constructive logic von Gallier, Jean H. 1949-

“… Digital Equipment Corporation, Maynard, Mass., Paris Research Laboratory: PRL research reports …”

Constructive logic von Gallier, Jean H. 1949-

“… Paris Research Laboratory: PRL research reports …”