✦ LIBER ✦

ConGolog, a concurrent programming language based on the situation calculus

✍ Scribed by Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A consistent extension of the lambda-cal

✍ Klaus J. Berkling; Elfriede Fehr 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 504 KB

A logic programming language based on th

✍ Seif Haridi 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 756 KB

Including scalars in a programming langu

✍ Merrett, T.H.; Laliberte, N. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 798 KB

A recognizing algorithm for a loop free

✍ Mitsuru Ikeda; Eiichi Tanaka 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 845 KB

Abstraction on clinical data sequences:

✍ Carlo Combi; Luca Chittaro 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 968 KB

EDDA, a language based on petrinets and

✍ Helmut Kerner; Helmut Rainel 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 489 KB