1581 search results - page 25 / 317 » Mechanizing Inductive Reasoning |
CADE
2009
Springer
16 years 10 days ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
CADE
2003
Springer
16 years 22 hour ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
LPAR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
DLOG
2007
15 years 2 months ago
2007
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
BMCBI
2008
14 years 11 months ago
2008
Background: MicroRNAs (miRNAs) are a class of small non-coding RNA molecules (20