1 paper · 1 filter
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machi…