Foundations of Logic and Functional Programming : Workshop, Trento, Italy, 1986

Urbaniak - Lesniewski's Systems of Logic and Foundations of Mathematic - X555z

Grabowski - Algebraic and Logic Programming International Workshop - X555z

Lamma - Extensions of Logic Programming Third International Workshop - X555z

Hlldobler - Foundations of Equational Logic Programming - New paperba - X555z

Marek - Elements of Logic and Foundations of Mathematics in Problems - - X555z

Kiselyov - Functional and Logic Programming 13th International Sympo - X555z

Middeldorp - Functional and Logic Programming 4th Fuji International - X555z