Algorithmic Aspects of Propositional Tense Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander V. Chagrov, Valentin B. Shehtman. Algorithmic Aspects of Propositional Tense Logics. In Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, pages 442-455, Springer, 1994.

This author has not been identified. Look up 'Alexander V. Chagrov' in GoogleThis author has not been identified. Look up 'Valentin B. Shehtman' in Google

runs on WebDSL