306 search results - page 1 / 62 » Underspecified computation of normal forms |
RTA
2010
Springer
14 years 20 days 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
14 years 9 days 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...
ECCC
2000
13 years 10 months ago
2000
Computing the Hermite Normal Form of an n
CORR
2002
Springer
13 years 10 months 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...
STACS
1998
Springer
14 years 3 months ago
1998
Springer
