✦ LIBER ✦

Linear Time Computable Problems and Logical Descriptions

✍ Scribed by Detlef Seese

Book ID: 104445341
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 620 KB
Volume: 2
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80203-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear logic and elementary time

✍ Vincent Danos; Jean-Baptiste Joinet 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Computer Solution of Transient and Time

Computer Solution of Transient and Time Domain Thin-Wire Antenna Problems (Computer Program Descriptions)

✍ Auckenthaler, A.M.; Bennet, C.L. 📂 Article 📅 1971 🏛 IEEE 🌐 English ⚖ 266 KB

Logical Description of Some Digital-Comp

Logical Description of Some Digital-Computer Adders and Counters

✍ Gray, H.J. 📂 Article 📅 1952 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 762 KB

A framework for solving logical topology

A framework for solving logical topology design problems within constrained computation time

✍ Zalesky, A.; Hai Le Vu; Zukerman, M.; Ouveysi, I. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 217 KB

A unified linear-time temporal logic sol

A unified linear-time temporal logic solution to the steam-boiler control specification problem

✍ An Yan; Zhisong Tang 📂 Article 📅 1999 🏛 SP Science China Press 🌐 English ⚖ 415 KB

Solving problems by formula manipulation

Solving problems by formula manipulation in logic and linear inequalities

✍ Louis Hodes 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 650 KB

Using formal logic, many iproblems from the general area of linear inequalities co~ be expressed in the elementary theory of addition on the real numbers (EAR). We describe a method for eliminatit~ quantiflers in EAR which has been programmed arm demonstrate its usefulness in solving some problems r