306 search results - page 1 / 62 » Underspecified computation of normal forms |
98
Voted
RTA
2010
Springer
15 years 2 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 ...
ACL
2004
15 years 2 months ago
2004
We show that a practical translation of MRS descriptions into normal dominance constraints is feasible. We start from a recent theoretical translation and verify its assumptions o...
105
Voted
ECCC
2000
15 years 28 days ago
2000
Computing the Hermite Normal Form of an n
110
Voted
CORR
2002
Springer
15 years 28 days ago
2002
Springer
Abstract. Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[Sr] of a symmetric group Sr. If for a class of tenso...
103
Voted
STACS
1998
Springer
15 years 5 months ago
1998
Springer
