Timothy C. Winkler

Publication Activity (10 Years)

Years Active: 1985-1994
Publications (10 Years): 0

Publications

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