output
20002026
most citedA Review of Sensing and Communication, Human Factors, and Controller Aspects for Information-Aware Connected and Automated Vehicles

149 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2010 · math.LOShow all

1 paper · 2 filters

math.LO2010★ 18 cited

Reverse mathematics and uniformity in proofs without excluded middle

Jeffry L. Hirst, Carl Mummert

We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak…