Advances and problems in the field of compiler compilers are the subject of the 2nd CCHSC Workshop which took place in Berlin, GDR, in October 1988. T...
This book gives an in-depth treatment of the latest results in a selection of core topics of AI. Its aim is to make available to students and practiti...
This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstrac...
This volume contains 24 papers presented at the Sixth International Workshop on Database Machines. The papers cover a wide spectrum of topics includin...
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Sy...
