Knowledge Base of
Publications, Seminars, & Math Library

Filter for: Regina Barzilay

7 results

Online Demonstration of Syntactic Reflection. Realizing an Argument about Syntax (Tarski).
by Regina Barzilay
March 03, 2003

HOAS -- Higher Order Abstract Syntax: a Survey
by Regina Barzilay
October 21, 2002

The Abstract Term Type
by Regina Barzilay
March 04, 2002

Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 18, 2000

Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 11, 2000

Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 04, 2000

Verbalization of High-Level Formal Proofs | cite »
by Amanda Holland-Minkley, Regina Barzilay, Robert L. Constable
1999