Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012).
Francisco DuránNarciso Martí-OlietPublished in: Sci. Comput. Program. (2015)
Keyphrases
- selected papers
- international workshop
- annual conference
- invited talk
- computer science
- review process
- dagstuhl castle
- logic programming
- rewrite rules
- rewriting rules
- derivation rules
- program committee
- lecture notes in artificial intelligence
- modal logic
- conference proceedings
- conjunctive queries
- multi valued
- predicate logic
- automated reasoning
- deontic logic