2 search results - page 1 / 1 » On Rule Formats for Zero and Unit Elements |
111
click to vote
ENTCS
2010
15 years 3 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...