MetaPRL - A Modular Logical Environment (2003)

by Jason Hickey , Aleksey Nogin , Robert L. Constable , Brian E. Aydemir , Eli Barzilay , Yegor Bryukhov , Richard Eaton , Adam Granicz , Alexei Kopylov , Christoph Kreitz , Vladimir N. Krupski , Lori Lorigo , Stephan Schmitt , Carl Witty , Xin Yu
Citations:8 - 2 self