You are here
Database Seminar: MSO Logic and Tree Transducers with Decidable Equivalence
24 January 2007 |
Sebastian Maneth, NICTA Ltd and UNSW Sydney, Australia, presented "MSO Logic and Tree Transducers with Decidable Equivalence" at 4.10pm as part of the Scottish Database Interest Group [external] seminar season at the University of Edinburgh, Appleton Tower. The DCC was a co-sponsor of this event.