A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
doi 10.1090/dimacs/029/05
Full Text
Open PDFAbstract
Available in full text
Date
April 2, 1997
Authors
Publisher
American Mathematical Society