© 1996-2019

4 ITL Related Publications

The book Executing Temporal Logic Programs by Dr. B. C. Moszkowski was originally published by Cambridge University Press in 1986. The publishers have kindly given the copyright back to the author. The pdf version of the book has now been made available.

Contact | Home | ITL home | Course | Proofs | Algebra | FL