10 citations · 21 across the 8 of their papers we have counts for
1 paper · 2 filters
Á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…