RISC JKU
  • @misc{RISC4498,
    author = {Temur Kutsia},
    title = {{Anti-Unification for Unranked Terms and Hedges}},
    language = {english},
    year = {2011},
    month = {March 24-25},
    note = {Invited talk at Workshop on Logic and Computer Science at Kurt Goedel Research Center, University of Vienna},
    conferencename = {Workshop on Logic and Computer Science at Kurt Goedel Research Center, University of Vienna},
    url = {http://www.logic.univie.ac.at/2011/Computer_science_workshop.html}
    }