/
User Settings
J

JohnL. Pollock

University of Arizona(US)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

4

Papers

148

Citations

3

h-index

3

i10-index

JohnL. Pollock is an academic researcher from University of Arizona. The author has contributed to research in topics: Logic, Reasoning, and Knowledge & Epistemology, Ethics, and Metaphysics & Logic, programming, and type systems. The author has an h-index of 3, co-authored 4 publications.

Research Topics

Logic, Reasoning, and KnowledgeEpistemology, Ethics, and MetaphysicsLogic, programming, and type systemsFormal Methods in VerificationPhilosophy and Theoretical Science

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat