306 search results - page 2 / 62 » Underspecified computation of normal forms |
RTA
1998
Springer
13 years 11 months ago
1998
Springer
CIE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
CTRS
1992
13 years 11 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
POPL
1997
ACM
13 years 11 months ago
1997
ACM
The following theorem of Huet and L
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I. The criterion used in the computation involves specific commutation polynomial...