Author:
Bouchitte Vincent,Habib Michel
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Geometry and Topology,Algebra and Number Theory
Reference14 articles.
1. V. Bouchitte, M. Habib, M. Hamroun, and R. Jegou (1986) Depth-first search and linear extensions, Rapport de recherche No. 5, ENST de Bretagne, Brest.
2. O. Cogis and M. Habib (1979) Nombre de sauts et graphes série-parallèles, RAIRO Inf. Th. 13, 3?18.
3. S. A. Cook (1971) The complexity of theorem-proving procedures, Proc. 3rd Ann. ACM Symp. on Theory of Computing, New York, pp. 151?158.
4. R. P. Dilworth (1950) A decomposition theorem for partially ordered sets, Ann. Math. 51, 161?166.
5. D. Duffus, I. Rival, and P. Winkler (1985) Minimizing setups for cycle-free ordered sets, Proc. A. M. S. 85, 509?513.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献