This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989.

Currently, the field of information systems technology is rapidly extending into several dimensions. There is the semantic dimension (including object orientati

A Broken Regiment recounts the tragic history of one of the Civil War's most ill-fated Union military units. Organized in the late summer of 1862, the 16th Conn

Free radicals, which are key intermediates in many thermal, photochemical and radiation processes, are important for a proper understanding of fundamental natur

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This