Master of Science (MS)
First Committee Member
Number of Pages
An algebra is presented which is used in conjunction with a modified version of director string calculus (MDSC). The algebra simplifies the implementation of the MDSC while preserving the applicative structure of the originalexpression, and capturing strong reduction.
Calculus; Director; Reduction; String; Strong
Computer science; Mathematics
University of Nevada, Las Vegas
If you are the rightful copyright holder of this dissertation or thesis and wish to have the full text removed from Digital Scholarship@UNLV, please submit a request to firstname.lastname@example.org and include clear identification of the work, preferably with URL.
Kinkenon, Matthew Edward, "On strong reduction in director string calculus" (1993). UNLV Retrospective Theses & Dissertations. 294.