Summary: 

Theoretical Computer Science 165:75*
*-95, 1996.



A Sequential Reduction Strategy



Sergio Antoy Aart Middeldorp

Portland State University, U.S.A. University of Tsukuba, Japan

antoy@cs.pdx.edu ami@is.tsukuba.ac.jp



ABSTRACT

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences