This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familia...
These proceedings contain the papers presented at The Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, F...
The papers in this volume are extended versions of presentations at The Fourth International Conference on Information Processing and Management of Un...
This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure...
