From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

On the Limits of Efficient Temporal Decidability (Extended Abstract), , и . LICS, стр. 464-475. IEEE Computer Society, (1990)Efficient Temporal Reasoning., , и . POPL, стр. 166-178. ACM Press, (1989)Quantitative Temporal Reasoning., , , и . CAV, том 531 из Lecture Notes in Computer Science, стр. 136-145. Springer, (1990)Branching time temporal logic., и . REX Workshop, том 354 из Lecture Notes in Computer Science, стр. 123-172. Springer, (1988)A Decidable Temporal Logic to Reason About Many Processes., и . PODC, стр. 233-246. ACM, (1990)