47 citations · 115 across the 13 of their papers we have counts for
1 paper · 2 filters
Bartek Klin, Beata Nachyła
Some formats of well-behaved operational specifications, correspond to natural transformations of certain types (for example, GSOS and coGSOS laws). These transformations have a co…