Science of Computer Programming
, Volume 49
Volume 49, Number 1-3, December 2003
Mark Burgess
:
On the theory of system administration.
1-46
Electronic Edition
(link)
BibTeX
D. Ll. L. Rees
,
Karen Stephenson
,
J. V. Tucker
:
The algebraic structure of interfaces.
47-88
Electronic Edition
(link)
BibTeX
Marco Comini
,
Roberta Gori
,
Giorgio Levi
,
Paolo Volpe
:
Abstract interpretation based verification of logic programs.
89-123
Electronic Edition
(link)
BibTeX
Sharon A. Curtis
:
The classification of greedy algorithms.
125-157
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:41 2009 by
Michael Ley
(
ley@uni-trier.de
)