( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Pure Part of HYP(M).

, и . J. Symb. Log., 42 (1): 33-46 (1977)

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.

Boaz Stavi

Jonathan Burmeister

Jonathan Vöglein

Jonathan Rother

Jonathan Roericht

 

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

Further Results on Propositional Dynamic Logic of Nonregular Programs., , и . Logic of Programs, том 131 из Lecture Notes in Computer Science, стр. 124-136. Springer, (1981)Impartiality, Justice and Fairness: The Ethics of Concurrent Termination., , и . ICALP, том 115 из Lecture Notes in Computer Science, стр. 264-277. Springer, (1981)On Models of the Elementary Theory of (Z, +, 1)., и . J. Symb. Log., 55 (1): 1-20 (1990)Boolean models for some expressive languages and their applications (מודלים בוליאניים לשפות עשירות ושימושיהם.).. Hebrew University of Jerusalem, Israel, (1973)A Complete Axiomatic System for Proving Deductions about Recursive Programs, , и . STOC, стр. 249-260. ACM, (1977)The Pure Part of HYP(M)., и . J. Symb. Log., 42 (1): 33-46 (1977)A Converse of the Barwise Completeness Theorem.. J. Symb. Log., 38 (4): 594-612 (1973)On the Temporal Analysis of Fairness., , , и . POPL, стр. 163-173. ACM Press, (1980)Propositional Dynamic Logic of Context-Free Programs, , и . FOCS, стр. 310-321. IEEE Computer Society, (1981)Triangle 02 Operators and Alternating Sentences in Arithmetic., и . J. Symb. Log., 45 (1): 144-154 (1980)