نتایج جستجو برای: proofs concerning this problem
تعداد نتایج: 6422699 فیلتر نتایج به سال:
Journal:
:Journal of Differential Equations
1971
Journal:
:JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
1980
Journal:
:Open Cultural Studies
2019
Journal:
:Mathematical Research Letters
2006
Journal:
:Journal of Combinatorial Theory, Series B
1991
Journal:
:Proceedings of the Japan Academy, Series A, Mathematical Sciences
1958
Journal:
:Theor. Comput. Sci.
1984
Krzysztof R. Apt
At&ract. A survey of various results concerning the use of Hoare’s logic in proving correctness of nondeterministic programs is presented. Various proof systems together with the example proofs are given and the corresponding soundness and completeness proofs of the systems are dicussed. Programs allowing bounded and countable nondeterminism are studied. Proof systems de4 with partial and total...
Journal:
:Kyoto Journal of Mathematics
1990
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید