1
Publications
123
Citations
1
H-Index
1967
Active since
E. G. K. Lopez-Escobar is an author specializing in formal logic, formal methods, and language studies.
Top concepts
LanguageReasoningSemanticsEngineeringFormal LogicVerificationArgumentationFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
1967–1967
1
1
Rows per page
1–1 of 1