CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385)
by Egon Börger, Hans Kleine Büning, Michael M. Richter
CSL'88 documents the 2nd Workshop on Computer Science Logic in Duisburg, FRG, October 3-7, 1988. Edited by Egon Börger, Hans Kleine Büning, and Michael M. Richter, this Lecture Notes in Computer Science volume (385) compiles essential proceedings for researchers in logic and computing.
About This Book
The CSL'88 proceedings capture the discussions and research presented at the 2nd Workshop on Computer Science Logic, organized in Duisburg, FRG, during October 3-7, 1988.
Edited by Egon Börger, Hans Kleine Büning, and Michael M. Richter, this volume is part of the Lecture Notes in Computer Science series, volume 385.
It serves as a valuable resource for scholars and professionals interested in the intersections of logic and computer science.
The content reflects the workshop's focus on advancing theoretical foundations in the discipline.
Reviews
No reviews yet. Be the first to review this book!