Proving the genericity lemma by leftmost reduction is simple

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of Rewriting Techniques and Applications (RTA'95)
Place of Publication	Kaiserslautern, Germany
Pages	271-278
Publication status	Published - 25 Jan 1995

Keywords

@inproceedings{c4392a76a78445ca89142c72736226a4,

title = "Proving the genericity lemma by leftmost reduction is simple",

keywords = "METIS-119297",

author = "Jan Kuper",

year = "1995",

month = jan,

day = "25",

language = "Undefined",

isbn = "3-540-59200-8",

pages = "271--278",

booktitle = "Proceedings of Rewriting Techniques and Applications (RTA'95)",

}