 | 1994 |
|---|
| 8 |       | Patrick Lincoln,
Timothy C. Winkler:
Constant-Only Multiplicative Linear Logic is NP-Complete.
Theor. Comput. Sci. 135(1): 155-169 (1994) |
| 1993 |
|---|
| 7 | | Timothy C. Winkler:
Programming in OBJ and Maude.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 229-277 |
| 1991 |
|---|
| 6 | | José Meseguer,
Timothy C. Winkler:
Parallel Programmming in Maude.
Research Directions in High-Level Parallel Programming Languages 1991: 253-293 |
| 5 |  | Mark Moriconi,
Timothy C. Winkler:
Correction to ``Approximate Reasoning About the Semantic Effects of Program Changes''.
IEEE Trans. Software Eng. 17(1): 94 (1991) |
| 1990 |
|---|
| 4 | | Mark Moriconi,
Timothy C. Winkler:
Approximate Reasoning About the Semantic Effects of Program Changes.
IEEE Trans. Software Eng. 16(9): 980-992 (1990) |
| 1988 |
|---|
| 3 | | Sany Leinwand,
Joseph A. Goguen,
Timothy C. Winkler:
Cell and Ensemble Architecture for the Rewrite Rule Machine.
FGCS 1988: 869-878 |
| 1987 |
|---|
| 2 | | Joseph A. Goguen,
Claude Kirchner,
Hélène Kirchner,
Aristide Mégrelis,
José Meseguer,
Timothy C. Winkler:
An Introduction to OBJ 3.
CTRS 1987: 258-263 |
| 1985 |
|---|
| 1 | | Joseph Y. Halpern,
John H. Williams,
Edward L. Wimmers,
Timothy C. Winkler:
Denotational Semantics and Rewrite Rules for FP.
POPL 1985: 108-120 |
