10 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
This paper investigates model composition—often referred to as "gluing"—within the framework of matching logic. Specifically, we examine the systematic combination of existing…