Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Author="Gacek, Andrew"

Information and Computation 209 (1), 2011, pp. 48-73

Editors		Albert R. Meyer
Publisher:		Elsevier B.V.
Address:		Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis
Keywords:		generic judgments, higher-order abstract syntax, \lambda -tree syntax, proof search, reasoning about operational semantics
URL:		http://www.sciencedirect.com/science/article/pii/S0890540110001562