H. Kleine Buning
H. Kleine Buning
Books
Co-authored books and collections
Books that list H. Kleine Buning among their authors but not as the lead author: co-written works, collections and compilations.
Computer science logicWorkshop on Computer Science Logic (6th 1992 San Miniato, Italy)
Computer science logic
Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) · 1993
CSL '89Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany)
CSL '89
Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany) · 1990
Computer science logicEgon Borger
Computer science logic
Egon Borger · 1992