Réductions de graphes et systèmes de Church-Rosser

G. Chaty; M. Chein

RAIRO - Operations Research - Recherche Opérationnelle (1981)

  • Volume: 15, Issue: 2, page 109-117
  • ISSN: 0399-0559

How to cite

top

Chaty, 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. 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. 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. 3. M. HABIB, Partition en chemins des sommets et sauts dans les graphes sans circuit, Thèse, Université Paris-VI, 1975. 
  4. 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. 5. G. LAMBERT, Indice de C-partition des sommets d'un graphe, algorithmes derecouvrement, Thèse, Université Paris-Vl, 1975. 
  6. 6. P. C. LIU et R. C. GELDMACHER, Graph Reducibility, Utilitas Math., Congres. Num., vol. 15, 1976, p. 433-445. Zbl0363.05047MR550129
  7. 7. B. ROSEN, Tree-Manipulating Systems and Church-Rosser Property, J.A.C.M., vol. 20, 1973, p. 160-187. Zbl0267.68013MR331850

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.