✦ LIBER ✦

Nondeterministic program schemata and their relation to dynamic logic

✍ Scribed by V. A. Nepomnyashchii; N. V. Shilov

Publisher: Springer US
Year: 1989
Tongue: English
Weight: 932 KB
Volume: 24
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01132079

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Continuous programs and their relation t

Continuous programs and their relation to continuous games

✍ Robert G Underwood 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 495 KB

Programmed grammars and their relation t

Programmed grammars and their relation to the LBA problem

✍ Henning Bordihn; Markus Holzer 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 242 KB

Lattices related to Post algebras and th

✍ D. Vakarelov 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 950 KB

Multi-Channel Receptors and Their Relati

Multi-Channel Receptors and Their Relation to Guest Chemosensing and Reconfigurable Molecular Logic Gates

✍ Diego Jiménez; Ramón Martínez-Máñez; Félix Sancenón; José V. Ros-Lis; Juan Soto; 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 189 KB

Quality of high temperature superconduct

Quality of high temperature superconducting poly- and single crystals in relation to their critical dynamic field

✍ B. Loegel; A. Mehdaoui; D. Bolmont; A. Eckhardt; F. Muller 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 337 KB

When discussing critical properties of inhomogeneous high temperature superconducting compounds it is preferable to compare experimental data collected from the greatest possible number of published results. However, such comparison is made difficult because of the wide variety of elaborate techniqu

Optimal compactification of a floorplan

Optimal compactification of a floorplan and its relation to other optimization problems-a dynamic programming approach

✍ Michael Kolonko 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 755 KB