T. G. Windeknecht

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EET. G. Windeknecht: Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language. ACM Conference on Computer Science 1989: 295-300
5EET. G. Windeknecht: Toward a theory of correct set algorithms. ACM Conference on Computer Science 1988: 37-46
4EED. E. Swearingen, T. G. Windeknecht: A small KIM-1 based interactive music system. ACM Southeast Regional Conference 1980: 171-173
3EEM. B. Windeknecht, T. G. Windeknecht: Microcomputer graphics and the color-and-weave effect in handweaving. ACM Southeast Regional Conference 1980: 174-179
2EET. G. Windeknecht, H. D'angelo: System theoretic implications of numerical methods applied to the solution of ordinary differential equations. AFIPS National Computer Conference 1976: 963-972
1 T. G. Windeknecht: Mathematical Systems Theory: Causality. Mathematical Systems Theory 1(4): 279-288 (1967)

Coauthor Index

1H. D'angelo [2]
2D. E. Swearingen [4]
3M. B. Windeknecht [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)