Axiomatisation des tests
- 31 December 1985
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 35, 89-107
- https://doi.org/10.1016/0304-3975(85)90007-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Varieties of ”If-Then-Else“SIAM Journal on Computing, 1983
- Complete Sets of Reductions for Some Equational TheoriesJournal of the ACM, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Infinite trees in normal form and recursive equations having a unique solutionTheory of Computing Systems, 1979
- On some classes of interpretationsJournal of Computer and System Sciences, 1978
- Les tests et leur caractérisation syntaxiqueRAIRO. Informatique théorique, 1977
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973