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

Table of contents

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