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.

Paper

Irredundancy in circular arc graphs

Martin Charles Golumbic, Renu C. Laskar

Discrete Applied Mathematics

Paper

On some properties of contracting matrices

Chai Wah Wu

Linear Algebra and Its Applications

Conference paper

Characterization of photoresist spatial resolution by interferometric lithography

John A. Hoffnagle, William D. Hinsberg, et al.

Microlithography 2003

Conference paper

Total Source Mask Optimization: High-capacity, resist modeling, and production-ready mask solution

Moutaz Fakhry, Yuri Granik, et al.

SPIE Photomask Technology + EUV Lithography 2011

View all publications

Abstract

Related

Irredundancy in circular arc graphs

On some properties of contracting matrices

Characterization of photoresist spatial resolution by interferometric lithography

Total Source Mask Optimization: High-capacity, resist modeling, and production-ready mask solution