The Isaac Newton Institute for Mathematical Sciences
LAAw02 - Logic and Databases
Segoufin, 2006-03-01: Pebble tree walking automata and TC-logics on trees
entire talk as: [RealAudio 20MB] [MP3 13MB]