2018 search results - page 13 / 404 » Code Normal Forms |
ICRA
1993
IEEE
14 years 2 months ago
1993
IEEE
CTRS
1992
14 years 1 months ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1
ISSAC
1990
Springer
14 years 1 months ago
1990
Springer
We consider function fields of functions of one variable augmented by the binary operation of composition of functions. It is shown that the straightforward axiom
RTA
1998
Springer
14 years 1 months ago
1998
Springer
RTA
2010
Springer
13 years 11 months ago
2010
Springer
We consider the problem of computing, out of a set C of trees and a rewrite system R, those trees in C that cannot be rewritten into a tree in C. We solve this problem for sets of ...