Concepedia

DouglasN. Walton

DW

Statistics

Publications

1

Citations

163

H-Index

1

Active since

1988

Affiliations

University of Winnipeg(Current)

DouglasN. Walton is an author at University of Winnipeg specializing in formal verification, verification, and automated reasoning.

Top concepts

Publications per year

1988–1988

1

Publications

1

Burden of proof

DouglasN. Walton · Argumentation · 1988 · 163 citations

, , +5

1–1 of 1