Geodesic

Volume 25 (1991) no. 6

Sommaire

Can we transform logic programs into attribute grammars ?
p. 499-543
Some modifications of auxiliary pushdown automata
p. 545-556
Intuitionistic three-valued logic and logic programming
p. 557-587