✦ LIBER ✦

An incompleteness result in process algebra

✍ Scribed by Andrzej Szalas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An incompleteness result for paths throu

✍ Albert Visser 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 305 KB

An estimate of an incomplete linear form

✍ N. I. Fel'dman 📂 Article 📅 1970 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 337 KB

Resources in process algebra

✍ Insup Lee; Anna Philippou; Oleg Sokolsky 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 450 KB

An incomplete design in the analytic hie

✍ Yujin Shen; A.E. Hoerl; Wes McConnell 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 586 KB

An incompleteness theorem in modal logic

✍ S. K. Thomason 📂 Article 📅 1974 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 210 KB

Incompleteness Results in Kripke Semanti

✍ Silvio Ghilardi 📂 Article 📅 1991 🏛 Association for Symbolic Logic 🌐 English ⚖ 477 KB