M. Dowd

CONFIGURATIONS IN BINARY LINEAR CODES

M. Dowd, MartDowd, 2007 .

Propositional representation of arithmetic proofs

M. Dowd, Martin John Dowd, 1979 .

ITERATING MAHLO’S OPERATION

M. Dowd, 2014 .

Introductory Algebra, Topology, and Category Theory

M. Dowd, 2006 .

Problems on routing bounded distance assignments in hypercubes

N. Bagherzadeh, M. Dowd, Nader Bagherzadeh, 1994, Proceedings of the First International Conference on Massively Parallel Computing Systems (MPCS) The Challenges of General-Purpose and Special-Purpose Computing.

DOWNSETS AND GENERALIZED DESCRIPTIVE SET THEORY

M. Dowd, 2015 .

REFLECTIVE WELL-FOUNDED RELATIONS

M. Dowd, 2016 .

SIGMA-1-1 WELL-FOUNDED RELATIONS AND SET CHAINS

M. Dowd, 2016 .

On the Structure of Armstrong Relations for Functional Dependencies

Richard Statman, Catriel Beeri, Ronald Fagin, 1984, JACM.

Generic Oracles, Uniform Machines, and Codes

Martin Dowd, M. Dowd, 1992, Inf. Comput..

SOLUTIONS TO THE 1-DESIGN EQUATIONS

M. Dowd, 2013 .

A Well-Behaved Enumeration of Star Graphs

Shahram Latifi, Nader Bagherzadeh, Martin Dowd, 1995, IEEE Trans. Parallel Distributed Syst..