Decidability of second-order theories and automata on infinite trees

Michael O. Rabin

doi:10.1090/S0002-9904-1968-12122-6

Bulletin of the American Mathematical Society

Paper

01 Jan 1968

Decidability of second-order theories and automata on infinite trees

Download paper

Abstract

In this note we announce the solvability of the decision problem of the (monadic) second-order theory of two suc- cessor functions (S2S). This answers a question raised by Büchi.

Conference paper

Lithographic characteristics of 193-nm resists imaged at 193 and 248 nm

Juliann Opitz, Robert D. Allen, et al.

Microlithography 1998

Paper

A generic grouping algorithm and its quantitative analysis

Arnon Amir, Michael Lindenbaum

IEEE Transactions on Pattern Analysis and Machine Intelligence

Paper

HAG-based application layer multicast system for streaming media

Ruixiong Tian, Zhe Xiang, et al.

Qinghua Daxue Xuebao/Journal of Tsinghua University

Paper

Kinematic theory of signature verification measurements

John S. Lew

Mathematical Biosciences

View all publications

Abstract

Related

Lithographic characteristics of 193-nm resists imaged at 193 and 248 nm

A generic grouping algorithm and its quantitative analysis

HAG-based application layer multicast system for streaming media

Kinematic theory of signature verification measurements