Catastrophe Modeling

By E. Borger, Workshop On Computer Science Logic (1st 1987 Karlsruhe, Germany), Workshop On Computer Science Logic, Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (Auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.)

Annotation This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathema...

Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 : Proceedings

By Egon Börger, Workshop On Computer Science Logic (4th 1990 Heidelberg, Germany), Workshop On Computer Science Logic, Germany) Workshop On Computer Science Logic 1990 (Heidelberg

The Workshop Computer Science Logic '90 Was Held At The Max-planck-haus In Heidelberg, Germany, October 1-5, 1990. It Was The Fourth In A Series Of Worskhops, Following Csl '89 At The University Of...

Computer Science Logic 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 Procee...

By H. Kleine Buning, E. Borger, Egon Borger, G. Jager, Workshop On Computer Science Logic

Computer Science Logic

By H. Kleine Büning, Workshop On Computer Science Logic (6th 1992 San Miniato, Italy), G. Jäger, Egon Börger, Workshop On Computer Science Logic

"This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as A...

Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers

By Yuri Gurevich, Egon Börger, Workshop On Computer Science Logic (7th 1993 Swansea, Wales), Workshop On Computer Science Logic, Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (Auth.), Egon Börger, Yuri Gurevich, Karl Meinke (Eds.)

This Volume Contains The Final Versions Of A Collection Of Papers Presented At The Annual Conference Of The European Association For Computer Science Logic, Csl '93, Held At Swansea, Uk In Septembe...

Computer Science Logic: 8th Workshop, Csl '94, Kazimierz, Poland, September 28-30, 1994 : Proceedings

By Leszek Pacholski, Workshop On Computer Science Logic, Puławy, Poland) Workshop On Computer Science Logic (8th : 1994 : Kazimierz, David Aspinall (Auth.), Leszek Pacholski, Jerzy Tiuryn (Eds.)

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Re...

Csl '89: 3rd Workshop On Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings

By Workshop On Computer Science Logic (3rd 1989 Kaiserslautern, Germany), Egon Börger, Michael M. Richter, Hans Kleine Büning, Workshop On Computer Science Logic, Hans Kleine B??Ning, Egon B??Rger

"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. These proceedings cover a wide rang...

Computer Science Logic: 4th Workshop, Csl '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

By Michael M. Richter, Workshop On Computer Science Logic (4th 1990 Heidelberg, Germany), Egon, Workshop On Computer Science Logic, Hans Kleine B??Ning, Egon B??Rger, BÃ Rger, Wolfgang Sch??Nfeld

The Workshop Computer Science Logic '90 Was Held At The Max-planck-haus In Heidelberg, Germany, October 1-5, 1990. It Was The Fourth In A Series Of Worskhops, Following Csl '89 At The University Of...

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

By Simone Martini, Michael M. Richter, Workshop On Computer Science Logic, Gerhard J?Ger, Hans Kleine B??Ning, Egon B??Rger

This Volume Presents The Proceedings Of The Computer Science Logic Workshop Csl '92, Held In Pisa, Italy, In September/october 1992. Csl '92 Was The Sixth Of The Series And The First One Held As An...

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

By Yuri Gurevich, Karl Meinke, Workshop On Computer Science Logic (7th 1993 Swansea, Wales), Workshop On Computer Science Logic, Egon B??Rger, Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (Auth.), Egon Börger, Yuri Gurevich, Karl Meinke (Eds.)

This Volume Contains The Final Versions Of A Collection Of Papers Presented At The Annual Conference Of The European Association For Computer Science Logic, Csl '93, Held At Swansea, Uk In Septembe...