Decidability of Second-Order Theories and Automata on Infinite Trees

Publisher Website

1 July 1969

journal article
Published by JSTOR in Transactions of the American Mathematical Society

Vol. 141
https://doi.org/10.2307/1995086

Abstract

No abstract available

Cited by 271 articles