The broad objective of this conference series is to bring business, industry and researchers together to consider the current activities and future po...
The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results...
This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure cal...
The papers in this volume were presented at the CRYPTO '88 conference on theory and applications of cryptography, held in Santa Barbara, California, A...
This volume brings together papers from various fields of theoretical computer science, including computational geometry, parallel algorithms, algorit...
