AISC
2006
Springer
15 years 7 months ago
2006
Springer
120
Voted
AISC
2006
Springer
15 years 7 months ago
2006
Springer
We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each ...
113
click to vote
AISC
2006
Springer
15 years 7 months ago
2006
Springer
It is an essential step in decomposition algorithms for radical differential ideals to satisfy the so-called Rosenfeld property. Basically all approaches to achieve this step are ...
107
click to vote
AISC
2006
Springer
15 years 7 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...