Publication | Closed Access
The regular-language semantics of second-order idealized ALGOL
57
Citations
24
References
2003
Year
SyntaxEngineeringOperational SemanticsAutomated ReasoningFormal MethodsFormal SystemLanguage StudiesSemanticsHigher-order LogicRegular-language SemanticsLinguistics
| Year | Citations | |
|---|---|---|
Page 1
Page 1