Concepedia

John Kelly

JK

Statistics

Publications

5

Citations

178

H-Index

5

Active since

1950

Affiliations

Arizona State University(Current)

John Kelly is an author at Arizona State University specializing in discrete mathematics, logic programming, and formal verification.

Top concepts

Discrete MathematicsEducationEngineeringGraph TheoryFormal MethodsComputer ScienceNetwork AnalysisLogic ProgrammingAutomated ReasoningFormal Verification

Publications per year

1950–1988

5

Publications

5

Computability and Logic

John Kelly · Philosophical Studies · 1988 · 64 citations

Computational Logic, Engineering, Automated Reasoning +5

Paths and Circuits in Critical Graphs

John Kelly, L. M. Kelly · American Journal of Mathematics · 1954 · 55 citations

Directed Graph, Graph Theory, Extremal Graph Theory +6

A characteristic property of quadratic residues

John Kelly · Proceedings of the American Mathematical Society · 1954 · 24 citations · Full text

A Closed Set of Algebraic Integers

John Kelly · American Journal of Mathematics · 1950 · 18 citations

Real Algebraic Geometry, Algebraic Integers, Geometry Of Number +1

Products of Zero-One Matrices

John Kelly · Canadian Journal of Mathematics · 1968 · 17 citations · Full text

Total Unimodularity, Combinatorial Design, Zero-one Matrices +7

1–5 of 5