35 citations · 105 across the 17 of their papers we have counts for
1 paper · 1 filter
Marcelo Fiore, Chung-Kil Hur
We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a ratio…