SOFSEM
1997
Springer
14 years 3 months ago
1997
Springer
Digital elevation models can represent many types of geographic data. One of the common digital elevation models is the triangulated irregular network also called TIN, or polyhed...
RTA
1997
Springer
14 years 3 months ago
1997
Springer
In the development of algorithms for finding the minimal solutions of systems of linear Diophantine equations, little use has been made (to our knowledge) of the results by Stanle...
RTA
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...
RTA
1997
Springer
14 years 3 months ago
1997
Springer
A prototypical framework, which was used for building software components for symbolic computation, is extended as follows. First, we demonstrate that the server components can be ...
RTA
1997
Springer
14 years 3 months ago
1997
Springer
We present a technique to prove innermost normalisation of term rewriting systems TRSs automatically. In contrast to previous methods, our technique is able to prove innermost n...
RTA
1997
Springer
14 years 3 months ago
1997
Springer
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
RELMICS
1997
Springer
14 years 3 months ago
1997
Springer
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...
RANDOM
1997
Springer
14 years 3 months ago
1997
Springer
RANDOM
1997
Springer
14 years 3 months ago
1997
Springer
RANDOM
1997
Springer
14 years 3 months ago
1997
Springer
Most research on resource-bounded measure and randomness has focused on the uniform probability density, or Lebesgue measure, on {0, 1}∞ ; the study of resource-bounded measure ...