Try Microsoft Edge
A fast and secure browser that's designed for Windows 10
June 1, 2002
In a recent paper, the logician Yiannis Moschovakis argues that no state machine describes mergesort on its natural level of abstraction. We do just that. Our state machine is a recursive ASM.