Concepedia

Richard J. Wood

RJ

20

Publications

490

Citations

13

H-Index

1982

Active since

Affiliations

Dalhousie University(Current)

Mount Allison University

Macquarie University

Richard J. Wood is an author at Dalhousie University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceGeometryAdjoint MethodsLawEducationBiometricsEye Tracking

Publications per year

1982–2012

20

Publications

20

Constructive complete distributivity. I

Barry Fawcett, Richard J. Wood · Mathematical Proceedings of the Cambridge Philosophical Society · 1990 · 58 citations

Algebraic Logic, Constructive Mathematics, Engineering +11

Distributive laws and factorization

Robert Rosebrugh, Richard J. Wood · Journal of Pure and Applied Algebra · 2002 · 50 citations

Algebraic Logic, Substructural Logic, Form Factor (Design) +2

Lenses, fibrations and universal translations

Michael Johnson, Robert Rosebrugh, Richard J. Wood · Mathematical Structures in Computer Science · 2011 · 43 citations

Engineering, Geometry, Automated Reasoning +11

Entity-Relationship-Attribute Designs and Sketches

Michael Johnson, Robert Rosebrugh, Richard J. Wood · Theory and applications of categories · 2002 · 38 citations · Full text

Cartesian Bicategories II

A. Carboni, G. M. Kelly, R. F. C. Walters et al. · ArXiv.org · 2007 · 37 citations · Full text

Symmetric Monoidal Bicategory, Higher Category Theory, Cartesian Bicategories Ii +5

Rows per page

1–5 of 20