Journal of Logic and Algebraic Programming
, Volume 54
Volume 54, Number 1-2, January - February 2003
Ralf Lämmel
:
Typed generic traversal with term rewriting strategies.
1-64
Electronic Edition
(link)
BibTeX
Fairouz Kamareddine
,
Twan Laan
,
Rob Nederpelt
:
Revisiting the notion of function.
65-107
Electronic Edition
(link)
BibTeX
C. A. Middelburg
:
Revisiting timing in process algebra.
109-127
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:10:08 2009 by
Michael Ley
(
ley@uni-trier.de
)