35 search results - page 3 / 7 » sofsem 2007 |
114
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
138
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
115
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Indexing of factors is a widely used and useful technique in stringology and can be seen as a tool in solving diverse text algorithmic problems. A gapped-factor is a concatenation ...