Slide 1 INTERACTIVE SMALL-STEP ALGORITHMS I: AXIOMATIZATION ANDREAS BLASS, YURI GUREVICH, DEAN ROSENZWEIG, AND BENJAMIN ROSSMAN Slide 2 In earlier work, the Abstract State…
