Research Article
Other versions:
- Article InfoArticle Info
- CiteCite
- MetricsMetrics
- CommentComment
- RelatedRelated
- CitedCited
JUCS - Journal of Universal Computer Science 5(3): 73-87
doi:
10.3217/jucs-005-03-0073
Published:
28 Mar 1999
This article is part of:
Author
Lawrence C. Paulson
- Corresponding author
Computer Laboratory, University of Cambridge, United Kingdom
Articles by this author in:
CrossRef
|
Google Scholar
Conflict of interest
The author has declared that no competing interests exist.
This article is freely available under the J.UCS Open Content License.