The aim of this volume is to present developments in semantics and logics of computation in a way...
This book presents the proceedings of the Sixth International Conference on Category Theory and C...
Summer school lecture courses on modern logic and computation are presented here.
This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...
This book brings together philosophers, mathematicians and logicians to penetrate important probl...
This book is based on material presented at the international summer school on Applied Semantics ...
This book presents a strictly refereed collection of revised full papers selected from the papers...
This book brings together philosophers, mathematicians and logicians to penetrate important probl...