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
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society


Related search