2
Publications
62
Citations
2
H-Index
1974
Active since
Burt M. Leavenoworth is an author specializing in computational linguistics, formal methods, and automated reasoning.
Top concepts
SyntaxGrammarLanguageSemanticsEngineeringLinguisticsFormal MethodsQuery LanguagesComputer ScienceProgram Analysis
Publications per year
1974–1974
2
2
An overview of nonprocedural languages
Burt M. Leavenoworth, Jean Ε. Sammet · 1974 · 46 citations · Full text
Rows per page
1–2 of 2