Réductions de graphes et systèmes de Church-Rosser
RAIRO - Operations Research - Recherche Opérationnelle (1981)
- Volume: 15, Issue: 2, page 109-117
- ISSN: 0399-0559
Access Full Article
top
How to cite
topChaty, G., and Chein, M.. "Réductions de graphes et systèmes de Church-Rosser." RAIRO - Operations Research - Recherche Opérationnelle 15.2 (1981): 109-117. <http://eudml.org/doc/104779>.
@article{Chaty1981,
author = {Chaty, G., Chein, M.},
journal = {RAIRO - Operations Research - Recherche Opérationnelle},
keywords = {Church-Rosser systems; decompositions; reductions},
language = {fre},
number = {2},
pages = {109-117},
publisher = {EDP-Sciences},
title = {Réductions de graphes et systèmes de Church-Rosser},
url = {http://eudml.org/doc/104779},
volume = {15},
year = {1981},
}
TY - JOUR
AU - Chaty, G.
AU - Chein, M.
TI - Réductions de graphes et systèmes de Church-Rosser
JO - RAIRO - Operations Research - Recherche Opérationnelle
PY - 1981
PB - EDP-Sciences
VL - 15
IS - 2
SP - 109
EP - 117
LA - fre
KW - Church-Rosser systems; decompositions; reductions
UR - http://eudml.org/doc/104779
ER -
References
top- 1. G. CHATY, M. CHEIN, P. MARTIN et G. PETOLLA, Number of Jumps and Ordered Matchings in Bipartite Digraphs, Rapport de rech., n° 5, 1978, Groupe de recherche, n° 22, C.N.R.S.
- 2. M. CHEIN et M. HABIB, Jumps in Digraphs and Partial Orders: an Introduction. Annals of Discrete Math., vol. 9, 1980. p. 189-194. Zbl0445.05048MR597371
- 3. M. HABIB, Partition en chemins des sommets et sauts dans les graphes sans circuit, Thèse, Université Paris-VI, 1975.
- 4. G. HUET, Confluent Reductions: Abstract Properties and applications to Term Rewriting Systems, J.A.C.M. vol. 27, 1980, p. 797-821. Zbl0458.68007MR594700
- 5. G. LAMBERT, Indice de C-partition des sommets d'un graphe, algorithmes derecouvrement, Thèse, Université Paris-Vl, 1975.
- 6. P. C. LIU et R. C. GELDMACHER, Graph Reducibility, Utilitas Math., Congres. Num., vol. 15, 1976, p. 433-445. Zbl0363.05047MR550129
- 7. B. ROSEN, Tree-Manipulating Systems and Church-Rosser Property, J.A.C.M., vol. 20, 1973, p. 160-187. Zbl0267.68013MR331850
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.