Introduction

David Hutchison; Takeo Kanad; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; C. Pandu Rangan; Bernhard Steffen; Demetri Terzopoulos; Doug Tygar; Gerhard Weikum; Michał Skrzypczak

doi:10.1007/978-3-662-52947-8_2

Introduction

David Hutchison, Takeo Kanad, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, C. Pandu Rangan, Bernhard Steffen, Demetri Terzopoulos, Doug Tygar, Gerhard Weikum, Michał Skrzypczak

Department of Computer Science and Applied Mathematics

Weizmann Institute of Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Chapter	2
Pages	29-36
Number of pages	8
DOIs	https://doi.org/10.1007/978-3-662-52947-8_2
State	Published - 6 Aug 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9802 LNCS

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-662-52947-8_2

Cite this

Hutchison, D., Kanad, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Rangan, C. P., Steffen, B., Terzopoulos, D., Tygar, D., Weikum, G., & Skrzypczak, M. (2016). Introduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 29-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9802 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-662-52947-8_2

Hutchison, David ; Kanad, Takeo ; Kittler, Josef et al. / Introduction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2016. pp. 29-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{3b6edb8f4736425c8f213c9a29e00ae3,

title = "Introduction",

abstract = "The fundamental results of B{\"u}chi [B{\"u}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.",

author = "David Hutchison and Takeo Kanad and Josef Kittler and Kleinberg, {Jon M.} and Friedemann Mattern and Mitchell, {John C.} and Moni Naor and Rangan, {C. Pandu} and Bernhard Steffen and Demetri Terzopoulos and Doug Tygar and Gerhard Weikum and Micha{\l} Skrzypczak",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2016.",

year = "2016",

month = aug,

day = "6",

doi = "10.1007/978-3-662-52947-8_2",

language = "الإنجليزيّة",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "29--36",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "ألمانيا",

}

Hutchison, D, Kanad, T, Kittler, J, Kleinberg, JM, Mattern, F, Mitchell, JC, Naor, M, Rangan, CP, Steffen, B, Terzopoulos, D, Tygar, D, Weikum, G & Skrzypczak, M 2016, Introduction. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9802 LNCS, Springer Verlag, pp. 29-36. https://doi.org/10.1007/978-3-662-52947-8_2

Introduction. / Hutchison, David; Kanad, Takeo; Kittler, Josef et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2016. p. 29-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9802 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Introduction

AU - Hutchison, David

AU - Kanad, Takeo

AU - Kittler, Josef

AU - Kleinberg, Jon M.

AU - Mattern, Friedemann

AU - Mitchell, John C.

AU - Naor, Moni

AU - Rangan, C. Pandu

AU - Steffen, Bernhard

AU - Terzopoulos, Demetri

AU - Tygar, Doug

AU - Weikum, Gerhard

AU - Skrzypczak, Michał

PY - 2016/8/6

Y1 - 2016/8/6

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84990902016&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-52947-8_2

DO - 10.1007/978-3-662-52947-8_2

M3 - فصل

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 29

EP - 36

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -

Hutchison D, Kanad T, Kittler J, Kleinberg JM, Mattern F, Mitchell JC et al. Introduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2016. p. 29-36. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-52947-8_2

Introduction

Abstract

Publication series

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this