Search results
From MaRDI portal
- for Frequency-Selective Channels 2018-08-22 Paper Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform 2018-07-09 Paper MUSIC-Like DOA Estimation...10 bytes (18 words) - 14:43, 11 December 2023
- Publication Date of Publication Type Sliding Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform: Fast Algorithm and Applications 2021-08-26...10 bytes (17 words) - 07:06, 13 December 2023
- Publication Type Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform 2018-07-09 Paper Sequency-Ordered Complex Hadamard Transform: Properties...10 bytes (16 words) - 21:52, 22 September 2023
- Publication Date of Publication Type Sliding Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform: Fast Algorithm and Applications 2021-08-26...10 bytes (16 words) - 03:57, 13 December 2023
- Symmetric Sequency-Ordered Complex Hadamard Transform 2018-07-09 Paper Fast linearly independent arithmetic expansions 2018-07-09 Paper Sequency-Ordered Complex...10 bytes (16 words) - 14:57, 24 September 2023
- Publication Date of Publication Type Sliding Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform: Fast Algorithm and Applications 2021-08-26...10 bytes (16 words) - 13:27, 12 December 2023
- Publication Date of Publication Type Sliding Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform: Fast Algorithm and Applications 2021-08-26...10 bytes (16 words) - 03:53, 7 October 2023
- Publication Date of Publication Type Sliding Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform: Fast Algorithm and Applications 2021-08-26...10 bytes (16 words) - 21:08, 11 December 2023
- missing response at random 2021-09-01 Paper Sliding Conjugate Symmetric Sequency-Ordered Complex Hadamard Transform: Fast Algorithm and Applications 2021-08-26...10 bytes (17 words) - 16:17, 10 December 2023
- to Computational Barriers 2007-04-30 Paper Decision methods for linearly ordered Heyting algebras 2006-05-26 Paper Strong Normalization of Herbelin's Explicit...10 bytes (16 words) - 10:04, 7 October 2023
- mechanism into a sequent calculus 2018-02-02 Paper Ceres in intuitionistic logic 2017-07-13 Paper Schematic Cut Elimination and the Ordered Pigeonhole Principle...10 bytes (18 words) - 20:00, 13 December 2023
- mardi4nfdi.de/entity/Q5310883 2007-10-15 Paper Decision methods for linearly ordered Heyting algebras 2006-05-26 Paper Proof analysis in modal logic 2006-01-23...10 bytes (17 words) - 02:15, 25 September 2023
- intervals of computable reals 2000-02-28 Paper A constructive theory of ordered affine geometry 1999-11-21 Paper https://portal.mardi4nfdi.de/entity/Q4376959...10 bytes (19 words) - 15:59, 7 December 2023
- Formalizing Bachmair and Ganzinger's ordered resolution prover 2020-11-02 Paper Formalizing Bachmair and Ganzinger's ordered resolution prover 2018-10-18 Paper...10 bytes (16 words) - 18:57, 24 September 2023
- intuitionistic logic 2017-07-13 Paper Schematic Cut Elimination and the Ordered Pigeonhole Principle 2016-09-05 Paper Cut-Elimination and Proof Schemata...10 bytes (17 words) - 16:27, 7 December 2023
- of Ordered Degree Sequences 2017-02-22 Paper Proof nets and semi-star-autonomous categories 2016-07-28 Paper Focused and Synthetic Nested Sequents 2016-06-10...10 bytes (16 words) - 10:19, 6 October 2023
- with an atom and the monadic second-order predicate logic 1987-01-01 Paper Ordered sets R and Q as bases of Kripke models 1987-01-01 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 13:36, 28 January 2024
- satisfiability procedure for quantified Boolean formulae 2003-09-15 Paper Ordered semantic hyper tableaux 2003-04-28 Paper https://portal.mardi4nfdi.de/entity/Q2751361...10 bytes (19 words) - 14:32, 8 December 2023
- Complexity reduction and approximation of multidomain systems of partially ordered data 2022-05-30 Paper Generalized tableau systems for intermediate propositional...10 bytes (16 words) - 12:52, 6 October 2023
- 2020-07-15 Paper Some properties about the zero-divisor graphs of quasi-ordered sets 2020-06-02 Paper Well-filterifications of topological spaces 2020-06-02...10 bytes (18 words) - 00:32, 10 December 2023