Author:
Puitg François,Dufourd Jean-François
Subject
General Computer Science,Theoretical Computer Science
Reference44 articles.
1. Jordan graphs;Aharoni;Graphical Models Image Process.,1996
2. Classification des cartes pointées de genre 1 et relation fonctionnelle associée;Arquès;Theoret. Comput. Sci.,1993
3. Graphes et Hypergraphes;Berge,1973
4. Behavioural approaches to algebraic specifications: a comparative study;Bernot;Acta Inform.,1994
5. A generic approach to building user interfaces for theorem provers;Bertot;JSC,1998
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献