A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jurate Sakalauskaite. A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. In Andrei Voronkov, editor, Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Volume 592 of Lecture Notes in Computer Science, pages 442-451, Springer, 1991.

Abstract is missing.

runs on WebDSL