John Byrnes

2009
2	EE	John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller: Visualizing Proof Search for Theorem Prover Development. Electr. Notes Theor. Comput. Sci. 226: 23-38 (2009)
1998
1		Wilfried Sieg, John Byrnes: Normal Natural Deduction Proofs (in classical logic). Studia Logica 60(1): 67-106 (1998)

Coauthor Index

1	Michael Buchanan	[2]
2	Michael Ernst	[2]
3	Robert Keller	[2]
4	Philip Miller	[2]
5	Chris Roberts	[2]
6	Wilfried Sieg	[1]

Colors in the list of coauthors