Select a tag to browse associated projects and drill deeper into the tag cloud.
An Equational Deductive System for Linear Temporal LogicThis site contains the TeX files for a paper titled ``An Equational Deductive System for Linear Temporal Logic'' by undergraduate student David Vega and professor J. Stanley Warford at Pepperdine University. The research was supported ... [More]
Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.