Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Hehner, E.C.R."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Termination conventions and comparative semantics
E.C.R. Hehner
,
A.J. Malton
Acta Informatica
25
(1), 1988, pp. 1-14
A more complete model of communicating processes
E.C.R. Hehner
,
C.A.R. Hoare
Theoretical Computer Science
26
(1,2), 1983, pp. 105-120
An implementation of p and v
E.C.R. Hehner
,
R.K. Shyamasundar
Information Processing Letters
12
(4), 1981, August, pp. 196-198
Bunch theory: a simple set theory for computer science
E.C.R. Hehner
Information Processing Letters
12
(1), 1981, February, pp. 26-30
A new representation of the rational numbers for fast easy arithmetic
E.C.R. Hehner
,
R.N.S. Horspool
SIAM Journal on Computing
8
(2), 1979, May, pp. 124-134
Do considered od: a contribution to the programming calculus
E.C.R. Hehner
Acta Informatica
11
(4), 1979, pp. 287-304
On removing the machine from the language
E.C.R. Hehner
Acta Informatica
10
(3), 1978, pp. 229-243
Information content of programs and operation encoding
E.C.R. Hehner
Journal of the ACM
24
, 1977, pp. 290-297