Disambiguation evidence for structural operational semantics via surface form
"structural operational semantics"
Triples (1)
Triples where some other subject referred to this entity
as "structural operational semantics".
Gordon Plotkin
→
knownFor
→
"structural operational semantics"
ⓘ
↳ resolves to structural operational semantics