Author: Jürgen Cleve
Publication Overview
Publication period start: 1994
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Cleve,
Jürgen,
Hutter,
Dieter
(1994):
A Methodology for Equational Reasoning.
In:
HICSS 1994
,
1994,
.
pp. 569-579.