44
Publications
3.6K
Citations
24
H-Index
1963
Active since
Richmond H. Thomason is an author at University of Pittsburgh specializing in automated reasoning, language studies, and semantics.
Top concepts
Automated ReasoningLanguageSemanticsLinguisticsEngineeringFormal MethodsComputer ScienceSyntaxCognitive ScienceConversation Analysis
Publications per year
1963–2011
44
44
Indeterminist time and truth‐value gaps<sup>1</sup>
Richmond H. Thomason · Theoria · 1970 · 404 citations
Automated Reasoning, Temporal Dynamic, Temporal Complexity +3
Rows per page
1–5 of 44