Concepedia

George Robinson

GR

Statistics

Publications

5

Citations

641

H-Index

5

Active since

1944

Affiliations

Argonne National Laboratory(Current)

University of Wisconsin–Madison

George Robinson is an author at Argonne National Laboratory specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProof ComplexityAutomated ReasoningSyntaxLanguageReasoningSemanticsLinguistics

Publications per year

1944–1967

5

Publications

5

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

L. Wos, George Robinson, Daniel F. Carson · Journal of the ACM · 1965 · 306 citations · Full text

The Concept of Demodulation in Theorem Proving

L. Wos, George Robinson, Daniel F. Carson et al. · Journal of the ACM · 1967 · 181 citations · Full text

Reasoning, Underlying Axiom, Engineering +12

The unit preference strategy in theorem proving

L. Wos, Daniel F. Carson, George Robinson · 1964 · 123 citations · Full text

Engineering, Well-founded Semantics, Support Strategies +18

The calculus of observations; a treatise on numerical mathematics

E. T. Whittaker, George Robinson · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 1944 · 21 citations · Full text

Intrinsic multiprocessing

R.A. Aschenbrenner, Michael Flynn, George Robinson · 1967 · 10 citations

Engineering, Multiple Access Systems, Real-time Operating System +13

1–5 of 5