A Hierarchy of Temporal Logics with Past (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

François Laroussinie, Ph. Schnoebelen. A Hierarchy of Temporal Logics with Past (Extended Abstract). In Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner, editors, STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings. Volume 775 of Lecture Notes in Computer Science, pages 47-58, Springer, 1994.

This author has not been identified. Look up 'François Laroussinie' in GoogleThis author has not been identified. It may be one of the following persons:

Philippe Schnoebelen

Look up 'Ph. Schnoebelen' in Google

runs on WebDSL