[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 ||
- 作者Sharygina, Natasha; Veith, Helmut
- 文件大小21400.85KB
- 发表时间2013
- DOI10.1007/978-3-642-39799-8
Parametrized Ellentuck theoremJanusz Pawlikowski · Topology and its Applications · 1990
Density zero slalomsJanusz Pawlikowski · 2000
Two starsJanusz Pawlikowski; Marcin Sabok · 2008
A characterization of strong measure zero setsJanusz Pawlikowski · 1996
Every Sierpinski set is strongly meagerJanusz Pawlikowski · Archive for Mathematical Logic · 1996
Cohen Reals from Small ForcingsJanusz Pawlikowski · The Journal of Symbolic Logic · 2001
On a Rectangle Inclusion ProblemJanusz Pawlikowski · Proceedings of the American Mathematical Society · 1995
Absorption edge ofPawlikowski, Janusz M. · Physical Review B · 1982
A Vanishing Theorem for CohomologyJ. L. Alperin and Daniel Gorenstein · Proceedings of the American Mathematical Society · 1972
Inversion of an Integral TransformHarry Pollard and Harold Widom · Proceedings of the American Mathematical Society · 1958
On Certain Convolution InequalitiesLars Inge Hedberg · Proceedings of the American Mathematical Society · 1972
An Inequality for ProbabilitiesD. A. Dawson and D. Sankoff · Proceedings of the American Mathematical Society · 1967
Almost Summable SequencesJ. P. King · Proceedings of the American Mathematical Society · 1966
A Characterization of the Weyl SpectrumAndrzej Pokrzywa · Proceedings of the American Mathematical Society · 1984
Best Approximation in Metric SpacesRoshdi Khalil · Proceedings of the American Mathematical Society · 1988
Zeros of Exponential SumsD. G. Dickson · Proceedings of the American Mathematical Society · 1965