Rewriting Logic and its Applications (extended selected papers from WRLA 2014).

Santiago Escobar

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

selected papers
annual conference
international workshop
computer science
logic programming
conference proceedings
asia pacific
invited talk
dagstuhl castle
review process
derivation rules
predicate logic
multi valued
modal logic
data mining
asynchronous circuits
medical images
multi agent systems