T. G. Windeknecht

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1989
c5		T. G. Windeknecht: Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language. ACM Conference on Computer Science 1989: 295-300
	1988
c4		T. G. Windeknecht: Toward a theory of correct set algorithms. ACM Conference on Computer Science 1988: 37-46
	1980
c3		D. E. Swearingen, T. G. Windeknecht: A small KIM-1 based interactive music system. ACM Southeast Regional Conference 1980: 171-173
c2		M. B. Windeknecht, T. G. Windeknecht: Microcomputer graphics and the color-and-weave effect in handweaving. ACM Southeast Regional Conference 1980: 174-179
	1976
c1		T. 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
	1967
j1		T. G. Windeknecht: Mathematical Systems Theory: Causality. Mathematical Systems Theory 1(4): 279-288 (1967)

Coauthor Index

Last update Thu May 23 23:55:41 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page