Sequentiality, Second Order Monadic Logic and Tree Automata

Hubert Comon. Sequentiality, Second Order Monadic Logic and Tree Automata. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 508-517, IEEE Computer Society, 1995.

Abstract

Abstract is missing.