Monadic Second Order Logic and Node Relations on Graphs and Trees

Roderick Bloem, Joost Engelfriet. Monadic Second Order Logic and Node Relations on Graphs and Trees. In Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, editors, Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Volume 1261 of Lecture Notes in Computer Science, pages 144-161, Springer, 1997.

Abstract

Abstract is missing.