𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lutz-Büchi Festschrift

✍ Scribed by Review by: David L. Cowen

Book ID
125592216
Publisher
American Institute of the History of Pharmacy
Year
1984
Weight
378 KB
Volume
26
Category
Article
ISSN
0031-7047

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unambiguous Büchi automata
Unambiguous Büchi automata
✍ Olivier Carton; Max Michel 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 428 KB

In this paper, we introduce a special class of B uchi automata called unambiguous. In these automata, any inÿnite word labels exactly one path going inÿnitely often through ÿnal states. The word is recognized by the automaton if this path starts in an initial state. The main result of the paper is t

Stereocontrol of Paterno-Büchi photocycl
Stereocontrol of Paterno-Büchi photocycloadditions
✍ Steven A. Fleming; J.Jerry Gao 📂 Article 📅 1997 🏛 Elsevier Science 🌐 French ⚖ 217 KB

Diphenyloxetane was synthesized from photocycloaddition of benzaldehyde and styrene. The oxetane products, 2,3 trans and 2,3 cis isomers, were observed in a 3:1 ratio. Irradiation of 1-phenylpropene and trimethylsilyl cinnamyl ether under the same conditions also gave oxetanes. The silyl group resul

A characterization of Büchi tree automat
A characterization of Büchi tree automata
✍ Jerzy Skurczyński 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 68 KB

We show that a language of infinite binary trees is definable by a Σ 2 -formula of the monadic second order logic of two successors (with no additional symbols) iff it can be accepted by a Büchi automaton. The same result has been obtained by G. Lenzi, but our proof is simpler.