by Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany), E. Borger, H. Kleine Buning
"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…