Normal view
MARC view
Berghammer, R. (Rudolf), 1952- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany) 19351, Relational and Kleene-algebraic methods in computer science :, ©2004.