𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The GEC 420 DataPhone — a terminal for the ISDN

✍ Scribed by Alistair McBain

Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
557 KB
Volume
11
Category
Article
ISSN
0140-3664

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Method for Identifying the Carboxy Ter
A Method for Identifying the Carboxy Terminal Amino Acid of a Protein
✍ T. Hayashi; T. Sasagawa 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 437 KB

A highly sensitive new method for identifying the carboxy terminus of a protein was developed. The carboxyl terminal amino acid was racemized by reaction with acetic anhydride. The resulting modified protein was subjected to acid hydrolysis. The hydrolysate was derivatized with (+)-1-(9-fluorenyl)et

A semantic basis for the termination ana
A semantic basis for the termination analysis of logic programs
✍ Michael Codish; Cohavit Taboch 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 287 KB

This paper presents a formal semantic basis for the termination analysis of logic programs. The semantics exhibits the termination properties of a logic program through its binary unfoldings ± a possibly in®nite set of binary clauses. Termination of a program P and goal G is determined by the absenc