Timothy C. Winkler

According to our database, Timothy C. Winkler authored at least 8 papers between 1985 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1994

Constant-Only Multiplicative Linear Logic is NP-Complete.

Patrick Lincoln, Timothy C. Winkler

Theor. Comput. Sci., 1994

1993

Programming in OBJ and Maude.

Timothy C. Winkler

Proceedings of the Functional Programming, 1993

1991

Correction to "Approximate Reasoning About the Semantic Effects of Program Changes".

Mark Moriconi, Timothy C. Winkler

IEEE Trans. Software Eng., 1991

Parallel Programmming in Maude.

José Meseguer, Timothy C. Winkler

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990

Approximate Reasoning About the Semantic Effects of Program Changes.

Mark Moriconi, Timothy C. Winkler

IEEE Trans. Software Eng., 1990

1988

Cell and Ensemble Architecture for the Rewrite Rule Machine.

Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

An Introduction to OBJ 3.

Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler

Proceedings of the Conditional Term Rewriting Systems, 1987

1985

Denotational Semantics and Rewrite Rules for FP.

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985