Research Article
Other versions:
- Article InfoArticle Info
- CiteCite
- MetricsMetrics
- CommentComment
- RelatedRelated
- CitedCited
JUCS - Journal of Universal Computer Science 5(3): 113-134
doi:
10.3217/jucs-005-03-0113
Published:
28 Mar 1999
This article is part of:
Authors
Gernot Stenz
- Corresponding author
Munich University of Technology, Munich, Germany
Articles by this author in:
CrossRef
|
Google Scholar
Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, Karlsruhe, Germany
Articles by this author in:
CrossRef
|
Google Scholar
University of Karlsruhe, Karlsruhe, Germany
Articles by this author in:
CrossRef
|
Google Scholar
Conflict of interest
The authors have declared that no competing interests exist.
This article is freely available under the J.UCS Open Content License.