Interpretations in Trees with Countably Many Branches Alexander Rabinovich The Blavatnik School of Computer Science Tel Aviv University Tel Aviv Israel Email rabinoapost

tauacil Sasha Rubin IST Austria and TU Vienna Vienna Austria Abstract We study the expressive power of logical interpreta tions on the class of scattered trees namely those with countably many in64257nite branches Scattered trees can be thought of as

Embed this Presentation

Download Notice

Download Presentation The PPT/PDF document "Interpretations in Trees with Countably ..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.