Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 46: | Line 46: | ||
{Add the semantic types for complex expressions: | {Add the semantic types for complex expressions: | ||
|type = "{}"} | |type="{}"} | ||
a. '''frodo'''_{ e _13 }<br /> | a. '''frodo'''_{ e _13 }<br /> |
Revision as of 23:06, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation
Semantic types