Some experiments with undefinedness

Kuper, J. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Lindau, Germany
    Period5 Jul 1998
    Event titleVoordracht op CADE-15 Workshop Mechanization of Partial Functions
    Event typeConference
    LocationLindau, Germany

    Keywords

    • METIS-121102