Yegor Bryukhov

	2003
1		Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu: MetaPRL - A Modular Logical Environment. TPHOLs 2003: 287-303

Coauthor Index

1	Brian E. Aydemir	[1]
2	Eli Barzilay	[1]
3	Robert L. Constable	[1]
4	Richard Eaton	[1]
5	Adam Granicz	[1]
6	Jason Hickey	[1]
7	Alexei Kopylov	[1]
8	Christoph Kreitz	[1]
9	Vladimir Krupski	[1]
10	Lori Lorigo	[1]
11	Aleksey Nogin	[1]
12	Stephan Schmitt	[1]
13	Carl Witty	[1]
14	Xin Yu	[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