Pepperdine Papers on Linear Temporal Logic

by David Vega, J Stanley Warford, Scott M Staley

This book, Pepperdine Papers on Linear Temporal Logic, documents the research conducted over many years at Pepperdine University culminating in the recent publication of: J. Stanley Warford, David Vega, and Scott M. Staley. 2020. A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53, 3, Article 53 (June 2020), 38 pages, https: //doi.org/10.1145/3387109 which is freely available for download from the link given above. This...

• Format: Paperback
• Language: English
• ISBN: 1667140949
• ISBN13: 9781667140940
• Release Date: March 2021
• Publisher: Lulu.com
• Length: 252 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.5" x 8.5" x 11.0"