Zavdi L. Lichtman

Publication Activity (10 Years)

Years Active: 1976-1989
Publications (10 Years): 0

Publications

Zavdi L. Lichtman, Daniel L. Chester
A family of cuts for production systems. TAI (1989)
Zavdi L. Lichtman
Sometimes an FEXPR is better than a macro. SIGART Newsl. 97 (1986)
Zavdi L. Lichtman
The Function of T and NIL in LISP. Softw. Pract. Exp. 16 (1) (1986)
Zavdi L. Lichtman
Generation and Consistency Checking of Design and Program Structures. IEEE Trans. Software Eng. 12 (1) (1986)
Zavdi L. Lichtman
Interpretation Control Using A Linear Tree Representation. Softw. Pract. Exp. 7 (2) (1977)
Zavdi L. Lichtman
The computation and application of vector congruence classes. SYMSACC (1976)