Jeremy Dawson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Jeremy Dawson: Isabelle Theories for Machine Words. Electr. Notes Theor. Comput. Sci. 250(1): 55-70 (2009)

1977

1 Jeremy Dawson: Balanced sets and circuits in a transversal space. J. Comb. Theory, Ser. B 23(1): 14-23 (1977)

	2009
2		Jeremy Dawson: Isabelle Theories for Machine Words. Electr. Notes Theor. Comput. Sci. 250(1): 55-70 (2009)
	1977
1		Jeremy Dawson: Balanced sets and circuits in a transversal space. J. Comb. Theory, Ser. B 23(1): 14-23 (1977)