Deborah A. Joseph

发表

ON THE POWER OF FORMAL SYSTEMS FOR ANALYZING LINEAR AND POLYNOMIAL TIME PROGRAM BEHAVIOR

Deborah A. Joseph, 1981 .

On the complexity of reachability and motion planning questions (extended abstract)

Deborah A. Joseph, W. Harry Plantinga, Brooks, 1985, SCG '85.