Other versions:
PDF
 
 
Twitter
Facebook
Mendeley
Reddit
Notify a colleague
  • Article InfoArticle Info
  • CitationCitation
  • MetricsMetrics
  • CommentComment
  • RelatedRelated
  • CitedCited
JUCS - Journal of Universal Computer Science 12(12): 1741-1782
doi: 10.3217/jucs-012-12-1741
Published: 28 Dec 2006
This article is part of:
JUCS - Journal of Universal Computer Science 12(12)
Authors
Pascal Poizat - Corresponding author
IBISC FRE 2873 CNRS - Université d'Évry Val d'Essonne and ARLES team - INRIA, France
Articles by this author in:  CrossRef  |  Google Scholar
Jean-Claude Royer
Ecole des Mines de Nantes - INRIA, LINA, France
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.
Powered by