Representing First Order Logic Using Graphs

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Rome
    Period1 Sep 2004
    Event title2nd International Conference on Graph Transformations, ICGT 2004
    Event typeConference
    Conference number2
    LocationRome, Italy

    Keywords

    • METIS-221149