Thomas W. Lynch

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

Ask others: ACM DL/Guide -

	2011
i1		Thomas W. Lynch: More Jabber about the Collatz . CoRR abs/1108.4056 (2011)
	1998
j1		J. Strother Moore, Thomas W. Lynch, Matt Kaufmann: A Mechanically Checked Proof of the AMD5_K86^TM Floating Point Division Program. IEEE Trans. Computers 47(9): 913-926 (1998)

Coauthor Index

1	Matt Kaufmann	[j1]
2	J. Strother Moore	[j1]

Last update Wed May 22 00:44:49 2013 CET by the DBLP Team —

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