Rewriting logic and its applications (extended selected papers from WRLA 2014).
Santiago EscobarPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- selected papers
- annual conference
- international workshop
- invited talk
- computer science
- conference proceedings
- classical logic
- program committee
- review process
- derivation rules
- logic programming
- dagstuhl castle
- query rewriting
- asia pacific
- conjunctive queries
- query answering
- knowledge discovery
- knowledge base
- asynchronous circuits