Introduction

Date Issued
01-01-2016
Author(s)
Hutchison, David
Kanad, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Indian Institute of Technology, Madras
Steffen, Bernhard
Terzopoulos, Demetri
Tygar, Doug
Weikum, Gerhard
Skrzypczak, Michał
DOI
Abstract
The fundamental results of Büchi [Büc62] and Rabin [Rab69] state that the monadic second-order (mso) theory of the ω-chain (ω,≤) and of the complete binary tree ({0, 1}*,≼,≤lex) is decidable.
Volume
9802 LNCS