نتایج جستجو برای: hereditarily hypercyclicity
تعداد نتایج: 693 فیلتر نتایج به سال:
Journal:
:Operators and Matrices
2014
Journal:
:Annales de l’institut Fourier
2009
Journal:
:Israel Journal of Mathematics
2011
2008
Ilya Shapirovsky
In this paper we prove that Japaridze’s Polymodal Logic is PSPACE-decidable. To show this, we describe a decision procedure for satisfiability on hereditarily ordered frames that can be applied to obtain upper complexity bounds for various modal logics.
Journal:
:Transactions of the American Mathematical Society
1951
Journal:
:Czechoslovak Mathematical Journal
1991
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید