12 search results - page 1 / 3 » aisc 2006 |
AISC
2006
Springer
13 years 11 months ago
2006
Springer
AISC
2006
Springer
13 years 9 months ago
2006
Springer
AISC
2006
Springer
13 years 11 months ago
2006
Springer
AISC
2006
Springer
13 years 11 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 ...
AISC
2006
Springer
13 years 11 months ago
2006
Springer
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...