Parsing the genericity lemma by leftmost reduction is simple

Kuper, J. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Kaiserslautern, Germany
    Period6 Apr 1995
    Event titleVoordracht op Rewriting Techniques and Applications (RTA'95)
    Event typeConference
    LocationKaiserslautern, Germany

    Keywords

    • METIS-120999