Jeremy Bongio

	2008
1		Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SMT. Electr. Notes Theor. Comput. Sci. 198(2): 71-84 (2008)

Coauthor Index

1	Cyrus Katrak	[1]
2	Hai Lin	[1]
3	Christopher Lynch	[1]
4	Ralph Eric McGregor	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page