Mapping two complete binary trees into the star graph with quick fault recovery Chiun -Chieh Hsu Regular Papers Pages: 403 - 419
Towards a logic programming methodology based on higher-order predicates Andreas HamfeltJørgen Fischer Nilsson Regular Papers Pages: 421 - 447
Static analysis of Linear Logic programming Jean -Marc AndreoliRemo PareschiTiziana Castagnetti Regular Papers Pages: 449 - 481