Rob Taylor

Publications

432

Citations

H-Index

1993

Active since

Affiliations

Hartford Financial Services (United States)(Current)

Rob Taylor is an author at Hartford Financial Services (United States) specializing in computer science, computer engineering, and formal verification.

ORCID

Top concepts

Computer ScienceEngineeringLogic DesignFormal MethodsProof ComplexityCircuit ComplexityAutomated ReasoningFormal VerificationTheory Of ComputingAlgebraic Complexity

Publications per year

1993–2004

Publications

Modern computer algebra

Rob Taylor · ACM SIGACT News · 2002 · 382 citations

Modern Computer Algebra, Article Share, Alert Preferences +5

Zermelo, reductionism, and the philosophy of mathematics.

Rob Taylor · Notre Dame Journal of Formal Logic · 1993 · 32 citations · Full text

Computational Philosophy, Foundation Of Mathematics

Review of "Boolean Functions and Computation Models by Peter Clote and Evangelos Kranakis", Springer-Verlag, 2002

Rob Taylor · ACM SIGACT News · 2004 · 18 citations

Circuit Complexity, Engineering, Boolean Function +21

Rows per page

1–3 of 3