✦ LIBER ✦

Effective choice operations on constructive and positive models

✍ Scribed by Yu. G. Ventsov

Publisher: Springer US
Year: 1993
Tongue: English
Weight: 302 KB
Volume: 32
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf02260929

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Effective choice for relations and reduc

Effective choice for relations and reducibilities in classes of constructive and positive models

✍ Yu. G. Ventsov 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 765 KB

Effective choice of constructivizations

Effective choice of constructivizations and recursive consistency of problems on constructive models

✍ Yu. G. Ventsov 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 922 KB

Dilations of positive operators: Constru

Dilations of positive operators: Construction and ergodic theory

✍ Martin Kern; Rainer Nagel; Günther Palm 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 French ⚖ 601 KB

Effective operations on partial recursiv

Effective operations on partial recursive functions

✍ J. Myhill; J. C. Shepherdson 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 431 KB

Modeling and simulation of construction

Modeling and simulation of construction operations

✍ Amr A. Oloufa 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 689 KB

Visual modeling and simulation for const

Visual modeling and simulation for construction operations

✍ Zhang Hong; Jonathan J Shi; C.M Tam 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 426 KB

Simulation practitioners in construction often experience difficulties in developing simulation models, i.e., tediousness and error-proneness. The visual environment presented in this paper gives users user-friendly support throughout the entire simulation development process, with the provision of