Search results
From MaRDI portal
- Publication Date of Publication Type Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) 2022-08-18 Paper Disambiguation...10 bytes (16 words) - 07:27, 7 October 2023
- of Publication Type a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution 2015-09-20 Paper On finding...10 bytes (16 words) - 10:05, 7 October 2023
- locally convex spaces for LSC convex processes 2008-07-01 Paper On the strong completeness of P_{conv}^0 ((E,||.||_1),(F,||.||_2))-space of convex processes...10 bytes (16 words) - 21:14, 24 September 2023
- Publication Date of Publication Type Strong completeness and semi-flows for stochastic differential equations with monotone drift 2016-10-31 Paper...10 bytes (16 words) - 10:33, 7 October 2023
- A stochastic Gronwall inequality and applications to moments, strong completeness, strong local Lipschitz continuity, and perturbations 2021-07-23 Paper...10 bytes (16 words) - 22:33, 24 September 2023
- The Semantic Completeness of a Global Intuitionistic Logic 1999-05-24 Paper The strong completeness of a system based on Kleene's strong three-valued logic...10 bytes (16 words) - 11:29, 6 October 2023
- A stochastic Gronwall inequality and applications to moments, strong completeness, strong local Lipschitz continuity, and perturbations 2021-07-23 Paper...10 bytes (16 words) - 12:58, 6 October 2023
- checking some properties of \(n\)-quasigroups 2022-04-28 Paper Strong polynomial completeness of almost all quasigroups 2022-03-14 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 07:59, 12 December 2023
- mardi4nfdi.de/entity/Q4600949 2018-01-18 Paper Strong realcompactness and strong Dieudonné completeness in topological groups 2012-04-13 Paper...10 bytes (20 words) - 13:58, 7 October 2023
- Publication Date of Publication Type Strong realcompactness and strong Dieudonné completeness in topological groups 2012-04-13 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 13:58, 7 October 2023
- Hájek-Rényi-Chow maximal inequality and a strong law of large numbers in Riesz spaces 2019-10-04 Paper Strong sequential completeness of the natural domain of a conditional...10 bytes (18 words) - 09:12, 25 September 2023
- The NP-completeness column: An ongoing guide 1986-01-01 Paper The NP-completeness column: An ongoing guide 1985-01-01 Paper The NP-completeness column:...10 bytes (19 words) - 08:45, 9 December 2023
- results on derandomization 2005-04-19 Paper Bi-immunity separates strong NP-completeness notions 2004-11-23 Paper https://portal.mardi4nfdi.de/entity/Q4808618...10 bytes (16 words) - 23:05, 24 September 2023
- revisited 2014-04-09 Paper Čech-completeness and related properties of the generalized compact-open topology 2013-12-02 Paper On (strong) α-favorability of the...10 bytes (16 words) - 17:37, 7 December 2023
- equation using group invariance 2020-11-23 Paper On completeness in strong partial \(b\)-metric spaces, strong \(b\)-metric spaces and the 0-Cauchy completions...10 bytes (18 words) - 00:49, 10 December 2023
- 2018-08-15 Paper A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics 2017-10-12 Paper Strong normalization of...10 bytes (16 words) - 10:43, 12 December 2023
- de/entity/Q4619815 2019-02-07 Paper a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution 2015-09-20 Paper https://portal...10 bytes (18 words) - 02:40, 13 December 2023
- 1997-12-10 Paper Completeness and nonuniqueness of general solutions of transversely isotropic elasticity 1997-03-09 Paper Completeness of general solutions...10 bytes (17 words) - 03:20, 9 December 2023
- Continuous Functions 1974-01-01 Paper Erratum to: Orthocompactness and strong Cech completeness in Moore spaces 1973-01-01 Paper A note on spaces of second category...10 bytes (18 words) - 10:44, 12 December 2023
- negative binomial-Sushila linear model 2019-07-15 Paper On the strong convergence and complete convergence for pairwise NQD random variables 2019-02-14 Paper...10 bytes (18 words) - 18:01, 8 December 2023
