Michael J. Carroll

Publication Activity (10 Years)

Years Active: 1979-1995
Publications (10 Years): 0

Publications

Benny M. Gothard, Mark C. Allmen, Michael J. Carroll, Dan Rich
Development for SSV on a parallel processing system (PARAGON). Mobile Robots (1995)
Michael J. Carroll
Reduction to First Degree in Quantificational S5. J. Symb. Log. 44 (2) (1979)