Réductions de graphes et systèmes de Church-Rosser
Open Access
- 1 January 1981
- journal article
- research article
- Published by EDP Sciences in Rairo-Operations Research
- Vol. 15 (2) , 109-117
- https://doi.org/10.1051/ro/1981150201091
Abstract
RO : RAIRO - Operations Research, an international journal on operations research, exploring high level pure and applied aspectsKeywords
This publication has 3 references indexed in Scilit:
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- The Jump Number of Dags and Posets: An IntroductionPublished by Elsevier ,1980
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973