✦ LIBER ✦

Synthesis of a nondeterministic automaton from its logical specification. I

✍ Scribed by A. N. Chebotarev

Publisher: Springer US
Year: 1995
Tongue: English
Weight: 711 KB
Volume: 31
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf02366311

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synthesis of a nondeterministic automato

Synthesis of a nondeterministic automaton from its logical specification. II

✍ A. N. Chebotarev 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 559 KB

Extension of the automaton specification

Extension of the automaton specification logical language and the synthesis problem

✍ A. N. Chebotarev 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 807 KB

Abstract synthesis of a control automato

Abstract synthesis of a control automaton from its microprogram

✍ A. N. Chebotarev 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 502 KB

Synthesis of Chiral Imidazolinium Carben

Synthesis of Chiral Imidazolinium Carbene from a Carbohydrate and Its Rhodium(I) Complex

✍ Ji-cheng Shi; Ni Lei; Qingsong Tong; Yiru Peng; Junfa Wei; Li Jia 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 93 KB

## Abstract A chiral imidazolinium salt with two bulky carbohydrate subunits, __N__,__N__′‐1,3‐bis(methyl 4,6‐__O__‐benzylidene‐3‐deoxy‐α‐D‐altropyrano‐3‐yl)imidazolinium chloride (**4**), was synthesized in high yield. Deprotonation of **4** with sodium __tert__‐butoxide in the presence of [RhCl(C

Synthesis of (-)-Lentiginosine (I), Its

Synthesis of (-)-Lentiginosine (I), Its 8a-Epimer and Dihydroxylated Pyrrolizidine Alkaloid (II) from D-Glucose.

✍ Vinod D. Chaudhari; K. S. Ajish Kumar; Dilip D. Dhavale 📂 Article 📅 2006 🏛 John Wiley and Sons ⚖ 9 KB 👁 2 views

Synthesis of guanosine and its derivativ

Synthesis of guanosine and its derivatives from AICA-riboside

✍ I. Kumashiro; A. Yamazaki; T. Meguro; T. Takenishi; T. Tsunoda 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 516 KB