dblp.uni-trier.dewww.uni-trier.de

Yegor Bryukhov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
1EEJason 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)