𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some work of Lithuanian mathematicians in the domain of mathematical logic and programming

✍ Scribed by V. Matulis; R. Pliuškevičius; V. Tumasonis

Publisher
Springer
Year
1980
Tongue
English
Weight
628 KB
Volume
20
Category
Article
ISSN
0363-1672

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extreme programming in the telecommunica
Extreme programming in the telecommunications domain
✍ Bill Pyritz 📂 Article 📅 2003 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 59 KB

Extreme Programming (XP) is a lightweight methodology that is gaining industry acceptance and momentum. XP promises to reduce project risk, improve responsiveness to changing/vague requirements, and allow a system to grow naturally while at the same time facilitating an enjoyable development environ

Stanisław Piątkiewicz and the Beginnings
Stanisław Piątkiewicz and the Beginnings of Mathematical Logic in Poland
✍ Tadeusz Batóg; Roman Murawski 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 116 KB

This paper presents information on the life and work of Stanisław Pia ¸tkiewicz (1849-?). His Algebra w logice (Algebra in Logic) of 1888 contains an exposition of the algebra of logic and its use in representing syllogisms. This was the first original Polish publication on symbolic logic. It appear

Some results on the complexity of exploi
Some results on the complexity of exploiting data dependency in parallel logic programs
✍ Arthur Delcher; Simon Kasif 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 937 KB

We consider several problems related to maintaining and analyzing dataflow dependencies in AND-parallel execution of logic programs. Several problems related to optimal selection of literals for parallel execution are established to be intractable (NP-complete). Most importantly, we establish intrac