Zavdi L. Lichtman

According to our database, Zavdi L. Lichtman authored at least 6 papers between 1976 and 1989.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1989

A family of cuts for production systems.

Zavdi L. Lichtman, Daniel L. Chester

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

1986

Generation and Consistency Checking of Design and Program Structures.

Zavdi L. Lichtman

IEEE Trans. Software Eng., 1986

The Function of T and NIL in LISP.

Zavdi L. Lichtman

Softw. Pract. Exp., 1986

Sometimes an FEXPR is better than a macro.

Zavdi L. Lichtman

SIGART Newsl., 1986

1977

Interpretation Control Using A Linear Tree Representation.

Zavdi L. Lichtman

Softw. Pract. Exp., 1977

1976

The computation and application of vector congruence classes.

Zavdi L. Lichtman

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976