Search results
From MaRDI portal
- 1962-01-01 Paper Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines 1961-01-01 Paper Least Upper Bounds on Minimal...10 bytes (19 words) - 19:03, 12 December 2023
- Publication Date of Publication Type Least upper bounds for probability measures and their applications to abstractions 2014-02-11 Paper Formal Techniques...10 bytes (16 words) - 12:33, 24 September 2023
- Paper SAT-Based Formula Simplification 2015-11-20 Paper SAT-Based Horn Least Upper Bounds 2015-11-20 Paper On Computing Preferred MUSes and MCSes 2014-09-26...10 bytes (16 words) - 02:15, 10 December 2023
- functions with prescribed least upper bounds. 1940-01-01 Paper Indefinitely differentiable functions with prescribed least upper bounds 1940-01-01 Paper https://portal...10 bytes (18 words) - 00:33, 25 September 2023
- Publication Date of Publication Type Least upper bounds on OBDD sizes 2003-08-13 Paper...10 bytes (18 words) - 20:44, 26 December 2023
- Publication Date of Publication Type Least upper bounds on OBDD sizes 2003-08-13 Paper...10 bytes (18 words) - 20:44, 26 December 2023
- Computing with Infinite Terms and Infinite Reductions 2020-01-22 Paper Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting...10 bytes (16 words) - 05:34, 7 October 2023
- 2017-10-30 Paper Upper Bounds on Scattering Processes and Metamaterial-Inspired Structures That Reach Them 2017-10-27 Paper Least Upper Bounds of the Powers...10 bytes (16 words) - 00:50, 28 December 2023
- abstraction-refinement framework for markov decision processes 2015-09-17 Paper Least upper bounds for probability measures and their applications to abstractions 2014-02-11...10 bytes (16 words) - 11:38, 7 October 2023
- Publication Date of Publication Type Least upper bounds for the size of OBDDs using symmetry properties 2018-07-09 Paper Exact L ∞ nearest neighbor search...10 bytes (18 words) - 03:23, 28 December 2023
- maximizing power extracted from electromagnetic fields 2020-12-18 Paper Least Upper Bounds of the Powers Extracted and Scattered by Bi-anisotropic Particles...10 bytes (16 words) - 22:39, 27 December 2023
- 2017-10-30 Paper Upper Bounds on Scattering Processes and Metamaterial-Inspired Structures That Reach Them 2017-10-27 Paper Least Upper Bounds of the Powers...10 bytes (16 words) - 00:50, 28 December 2023
- 2017-10-30 Paper Upper Bounds on Scattering Processes and Metamaterial-Inspired Structures That Reach Them 2017-10-27 Paper Least Upper Bounds of the Powers...10 bytes (16 words) - 00:50, 28 December 2023
- Applications to Axiom Pinpointing 2015-11-20 Paper SAT-Based Horn Least Upper Bounds 2015-11-20 Paper Depth-first heuristic search for the job shop scheduling...10 bytes (16 words) - 16:17, 6 October 2023
- of PEC Cylinders Covered by Ordinary Dielectrics 2017-10-04 Paper Least Upper Bounds of the Powers Extracted and Scattered by Bi-anisotropic Particles...10 bytes (18 words) - 00:45, 25 September 2023
- remarks on real numbers induced by first-order spectra 2016-09-01 Paper Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting...10 bytes (18 words) - 09:15, 7 October 2023
- Wideband, Efficient, Electrically Small Antenna System 2017-10-27 Paper Least Upper Bounds of the Powers Extracted and Scattered by Bi-anisotropic Particles...10 bytes (18 words) - 15:50, 7 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2921787 2014-10-13 Paper Least upper bounds for probability measures and their applications to abstractions 2014-02-11...10 bytes (17 words) - 09:45, 24 September 2023
- Finding the redundant gates in reversible circuits 2018-10-17 Paper Least upper bounds for the size of OBDDs using symmetry properties 2018-07-09 Paper Finding...10 bytes (16 words) - 03:43, 7 October 2023
- Enumerable Sets 1976-01-01 Paper Maximal a-R.E. Sets 1974-01-01 Paper Least upper bounds for minimal pairs of α-R.E. α-degrees 1974-01-01 Paper Maximal sets...10 bytes (16 words) - 01:41, 13 December 2023
