| bis 12. Februar 2007: |
| Übernachtungsbuchung durch Koblenz-Touristik |
| bis 26. Februar 2007: |
| elektronische Einsendung von Titel und Abstrakt |
| bis 28. Februar 2007: |
| Rückmeldung |
| 26. März 2007: |
| Ab 13:00: Anmeldung, 14:00: Beginn |
| 27. März 2007: |
| Spätnachmittag: Ende |
|
|
 |
Zusammenfassung: We present a new term indexing approach which shall support efficient automated theorem proving in classical higher order logic. Key features of our indexing method are a shared representation of terms, the use of partial syntax trees to speedup logical computations and indexing of subterm occurrences. Additional support is offered by indexing of bound variable occurrences. A preliminary evaluation of our approach shows some encouraging first results.
Die Folien zum Vortrag sind hier. Copyright beim/bei den Autoren.
