Search results
From MaRDI portal
- Theorem of completeness for a Dirac-type operator with generalized \(\lambda \)-depending boundary conditions 2009-11-02 Paper Completeness and Riesz basis...10 bytes (18 words) - 15:00, 8 December 2023
- decidability of the completeness and \(A\)-completeness problems 2001-01-28 Paper Finiteness of the set of automaton Post bases with solvable completeness problem...10 bytes (18 words) - 23:19, 12 December 2023
- Paper Deciding active structural completeness 2020-01-17 Paper On structural completeness versus almost structural completeness problem: A discriminator varieties...10 bytes (18 words) - 14:12, 10 December 2023
- de/entity/Q3125562 1997-10-01 Paper Weak completeness in \(\text{E}\) and \(\text{E}_{2}\) 1997-02-28 Paper Completeness and weak completeness under polynomial-size circuits...10 bytes (18 words) - 16:43, 12 December 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
- dependence of the Bergman kernels 2016-07-20 Paper A Survey on Bergman Completeness 2015-10-27 Paper Holomorphic maps with large images 2015-08-28 Paper...10 bytes (18 words) - 14:34, 11 December 2023
- 2020-03-04 Paper Completeness in equational hybrid propositional type theory 2019-12-11 Paper Identity, equality, nameability and completeness. Part II 2019-03-21...10 bytes (17 words) - 02:55, 12 December 2023
- Herbrand models 2017-11-09 Paper Correctness and Completeness of Logic Programs 2017-07-12 Paper Proving completeness of logic programs with the cut 2017-02-14...10 bytes (16 words) - 04:36, 12 December 2023
- iterative ones 1979-01-01 Paper Corrigenda: A Completeness Criterion for Spectra 1979-01-01 Paper Completeness criterion for functions with delay defined...10 bytes (16 words) - 00:30, 13 December 2023
- of asymptotic completeness in algebraic QFT 2016-06-24 Paper The translation invariant massive Nelson model. III: asymptotic completeness below the two-boson...10 bytes (16 words) - 15:26, 11 December 2023
- Paper Completeness of general solutions to axisymmetric problems of transversely isotropic body 1995-07-23 Paper Constructivity and completeness of the...10 bytes (17 words) - 17:03, 12 December 2023
- Paper Continuality of the family of complete Novikov logics with new monadic connective 1999-03-15 Paper On the completeness of a new intuitionistic connective...10 bytes (18 words) - 01:59, 12 December 2023
- 2021-10-27 Paper https://portal.mardi4nfdi.de/entity/Q5156171 2021-10-14 Paper Completeness property of one-dimensional perturbations of normal and spectral operators...10 bytes (18 words) - 18:29, 11 December 2023
- Exponentials Reiterated 1981-01-01 Paper Further conclusions on functional completeness 1978-01-01 Paper A comment on Balbes' representation theorem for distributive...10 bytes (19 words) - 12:05, 13 December 2023
- 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
- Operators 2022-01-27 Paper Completeness theorems for \(\sigma \)-additive probabilistic semantics 2020-01-30 Paper Completeness theorem for probability models...10 bytes (17 words) - 01:47, 12 December 2023
- one-place boundedly determinate S-functions 2013-06-24 Paper On completeness and A-completeness of S-sets of determinate functions containing all one-place...10 bytes (18 words) - 14:30, 28 January 2024
- Convergence and completeness in asymmetrically normed sequence lattices 2017-03-20 Paper Convergence and left-\(K\)-sequential completeness in asymmetrically...10 bytes (18 words) - 10:55, 7 October 2023
- Type A problem of completeness of S-sets of deterministic functions 2015-02-02 Paper On algorithmic solvability of the A-completeness problem for systems...10 bytes (18 words) - 14:30, 28 January 2024
- DELIGNE’S COMPLETENESS THEOREM 2021-03-19 Paper Infinitary first-order categorical logic 2018-11-29 Paper Erratum to: ``Semantic completeness of first-order...10 bytes (16 words) - 11:01, 7 October 2023
