On computability by logic programs

Temporal logic of programs: By Fred Krog

Temporal logic of programs: By Fred Kroger. EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1987, viii+148 pages, Price DM 68.00, (hard cover). ISBN 3-540-17030-8

✍ Michael Fisher 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Computability and Logic.by George Boolos

Computability and Logic.by George Boolos; Richard Jeffrey

✍ Review by: Stephen Leeds 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB

[IEEE Comput. Soc First NASA/DoD Worksho

[IEEE Comput. Soc First NASA/DoD Workshop on Evolvable Hardware - Pasadena, CA, USA (19-21 July 1999)] Proceedings of the First NASA/DoD Workshop on Evolvable Hardware - A genetic programming approach to logic function synthesis by means of multiplexers

✍ Hernandez-Aguirre, A.; Coello, C.A.; Buckles, B.P. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 228 KB

On the Toggling-Branching Recurrence of

On the Toggling-Branching Recurrence of Computability Logic

✍ Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu… 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 369 KB

Lectures on the logic of computer progra

Lectures on the logic of computer programming

✍ Zohar Manna 📂 Library 📅 1987 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 312 KB

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partial

Lectures on the logic of computer progra

Lectures on the logic of computer programming

✍ Zohar Manna 📂 Library 📅 1987 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 269 KB

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partial