RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 6

Sommaire

Can we transform logic programs into attribute grammars ?

Isakowitz, T.

p. 499-543

Some modifications of auxiliary pushdown automata

Buntrock, G. ; Drewes, F. ; Lautemann, C. ; Mossakowski, T.

p. 545-556

Intuitionistic three-valued logic and logic programming

Vauzeilles, J. ; Strauss, A.

p. 557-587