2 citations · 3 across the 3 of their papers we have counts for
3 papers
math.LO2022
Non-determinsitic algebraic rewriting as adjunction
Răzvan Diaconescu
We develop a general model theoretic semantics to rewriting beyond the usual confluence and termination assumptions. This is based on preordered algebra which is a model theory tha…
math.LO2017★ 1 cited
Generic partiality for -institutions
Răzvan Diaconescu
-institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with its syntactic…
math.LO2017★ 2 cited
3/2-Institutions: an institution theory for conceptual blending
Răzvan Diaconescu
We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its syntactic and semantic effects. This is driven primaril…