Publication
-
Computational Number Theory Book Chapter
January 1996 -
Semantics Book Chapter
January 1996 -
Hybrid Systems Book Chapter
January 1996 -
Generating Interactive Programming Environments Book Chapter
January 1996 -
Rewriting Book Chapter
January 1996 -
A Tour of Algorithmics Book Chapter
January 1996 -
An Electronic Wallet for Digital Money Book Chapter
January 1996 -
Interactive Mathematical Books Book Chapter
January 1996