3
Publications
179
Citations
3
H-Index
1975
Active since
Affiliations
Australian National University(Current)
L. Morris is an author at Australian National University specializing in automated reasoning, formal verification, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSyntaxGrammarLanguageSemanticsLinguistics
Publications per year
1975–1993
3
3
A Metalanguage for interactive proof in LCF
Mike Gordon, R. Milner, L. Morris et al. · 1978 · 127 citations · Full text
The next 700 formal language descriptions
L. Morris · LISP and Symbolic Computation · 1993 · 28 citations
Rows per page
1–3 of 3