G. E. Mints - Concepedia

Author

G. E. Mints

Also Known As

A. A. Bukhshtab, G E Mints, G Mints, G. E. Mints, G. Mints, G.E. Mints, Gregory Mints, Larrazabal, Jesùs M., Shen, Luyao

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Cornell University Case Western Reserve University Stanford University South Texas Veterans Health Care System Dartmouth College

About

G. E. Mints is an author at Cornell University specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	287
2	Medicine	3	3	536
3	Health Sciences	2	2	208
4	Language Studies	2	2	81
5	Nursing	1	1	194

G. E. Mints

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
COVID-19 presenting with ophthalmoparesis from cranial nerve palsy Marc Dinkin, Virginia Gao, Joshua Kahan, Neurology Neurologic ComplicationsOcular DiseaseLong CovidOphthalmologyNeurovirology	2020	328
Point‐of‐Care Ultrasound for Hospitalists: A Position Statement of the Society of Hospital Medicine Nilam J. Soni, Daniel Schnobrich, Benji K. Mathews, Journal of Hospital Medicine Practice ManagementMedical UltrasoundPocus UsePocus Program ManagementHospital Medicine	2019	194
Derivability of admissible rules G. E. Mints Journal of Mathematical Sciences EngineeringBusiness RuleRule LanguageFormal MethodsRule-based System	1976	67
Finite investigations of transfinite derivations G. E. Mints Journal of Soviet Mathematics Finite InvestigationsTheoretical MathematicsAlgebraic AnalysisFinite Model Theory	1978	64
Comparison of in-person versus tele-ultrasound point-of-care ultrasound training during the COVID-19 pandemic Nilam J. Soni, Jeremy S. Boyd, G. E. Mints, The Ultrasound Journal	2021	64
Cambridge, Mass., 1967.[Kle52a] SC Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.[Kle52b] SC Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Memoirs of the AMS, 10, 1952.[KW84] J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. The Journal Per Martin-Löf, G. E. Mints Formal LogicNon-monotonic LogicEngineeringPredicate CalculusAutomated Reasoning	1991	62
Closed categories and the theory of proofs G. E. Mints Journal of Mathematical Sciences Automated ReasoningHigher Category TheoryClosed CategoriesCategorical LogicCategorical Model	1981	55
Cut-elimination theorem for relevant logics G. E. Mints Journal of Mathematical Sciences Non-classical LogicEngineeringSubstructural LogicAutomated ReasoningFormal Methods	1976	36
Quantifier-free and one-quantifier systems G. E. Mints Journal of Mathematical Sciences Non-classical LogicEngineeringAutomated ReasoningFormal MethodsFirst-order Logic	1972	33
The programming system PRIZ G. E. Mints, Enn Tyugu Journal of Symbolic Computation EngineeringProgramming System PrizProgram AnalysisSystem ProgrammingFormal Methods	1988	28

Page 1