CSL'88: 2nd Workshop On Computer Science Logic (Duisburg, FRG, October 3-7, 1988) Proceedings

In a collection that embodies the intersection of logic and computer science, a series of insightful papers emerge from the discussions held at the second workshop dedicated to this fascinating field. Taking place in Duisburg in October 1988, the event gathered prominent scholars and practitioners who contributed their expertise and innovative ideas.

The proceedings encapsulate a diverse range of topics, exploring foundational elements of logic as they apply to computational theories and practices. Each paper reflects the collaborative spirit of the workshop, showcasing the ongoing dialogue between theoretical underpinnings and practical applications in computer science.

With contributions from distinguished authors, including Egon Börger, Hans Kleine Büning, and Michael M. Richter, this volume serves as an important resource for researchers and students alike. It presents a snapshot of the academic landscape at the time, revealing the evolving challenges and breakthroughs at the confluence of logic and computation.