Search results
From MaRDI portal
- Quantifier-Free Presburger Arithmetic 2010-10-12 Paper An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic 2010-09-14 Paper Ranking...10 bytes (13 words) - 06:09, 7 October 2023
- Proofs under Arithmetic 2017-12-10 Paper Non-monotonic Pre-fix Points and Learning 2017-11-10 Paper Classical and Intuitionistic Arithmetic with Higher...10 bytes (13 words) - 05:01, 7 October 2023
- de/entity/Q4302459 1994-09-13 Paper Parallel pointer machines 1994-02-09 Paper Functional interpretations of feasibly constructive arithmetic 1993-10-13 Paper https://portal...10 bytes (16 words) - 16:38, 12 December 2023
- Partial arithmetical data types of rational numbers and their equational specification 2022-08-26 Paper Program Algebra for Turing-Machine Programs 2022-07-19...10 bytes (17 words) - 20:19, 8 December 2023
- 1998-03-05 Paper Parallel computation of polynomial GCD and some related parallel computations over abstract fields 1997-09-10 Paper Efficient parallel algorithms...10 bytes (17 words) - 16:19, 6 December 2023
- Efficient parallel factorization and solution of structured and unstructured linear systems 2005-08-05 Paper MODELS AND RESOURCE METRICS FOR PARALLEL AND DISTRIBUTED...10 bytes (16 words) - 09:02, 8 December 2023
- 1980-01-01 Paper High-Speed Arithmetic Arrays 1979-01-01 Paper Signed Modified Reflected Binary Code 1976-01-01 Paper Arithmetic Algorithms in a Negative...10 bytes (15 words) - 09:26, 25 September 2023
- confluence of parallel term rewriting 2024-10-21 Paper A static higher-order dependency pair framework 2023-11-24 Paper Analysing parallel complexity of...10 bytes (13 words) - 10:26, 6 October 2023
- Symmetrical level index arithmetic in simulation and modeling 1993-04-01 Paper Robust parallel computation in floating-point and SLI arithmetic 1993-01-11 Paper...10 bytes (15 words) - 10:06, 13 December 2023
- 2011-07-18 Paper Formalisations and applications of BPMN 2011-06-07 Paper Arithmetic Coding with Folds and Unfolds 2011-04-01 Paper Scala for generic programmers...10 bytes (14 words) - 00:41, 10 December 2023
- $$-Calculus by Reduction to Sequential Program Termination 2023-03-29 Paper RustHorn: CHC-Based Verification for Rust Programs 2022-10-13 Paper ConSORT: Context-...10 bytes (14 words) - 08:08, 25 September 2023
- simple extensions of models of Peano arithmetic 1984-01-01 Paper The strength of nonstandard methods in arithmetic 1984-01-01 Paper Mutually generic classes...10 bytes (15 words) - 08:02, 25 September 2023
- mardi4nfdi.de/entity/Q4335209 1997-10-16 Paper Parallel lossless image compression using Huffman and arithmetic coding 1997-02-27 Paper Indexing for data models...10 bytes (17 words) - 21:42, 10 December 2023
- Multivariate Polynomial GCD 2020-09-09 Paper Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation 2020-08-05 Paper...10 bytes (15 words) - 16:54, 11 December 2023
- organization of a class of parallel processes 1984-01-01 Paper Efficiency and optimality of one method of distributing program resources in multiprocessor...10 bytes (15 words) - 13:30, 24 September 2023
- 2010-09-14 Paper Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment 2010-09-14 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 05:35, 7 October 2023
- Do Reversible Programs Compute? 2011-05-19 Paper Reversible arithmetic logic unit for quantum arithmetic 2010-10-11 Paper Parallelization of reversible...10 bytes (17 words) - 06:27, 7 October 2023
- Paper Checking modes of HAL programs 2006-01-03 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational...10 bytes (15 words) - 23:40, 9 December 2023
- of discrete mechanical assembly production program 2016-03-17 Paper Parallel algorithms of integer arithmetic in radix notations for heterogeneous computation...10 bytes (17 words) - 16:43, 6 October 2023
- conditional expressions 1978-01-01 Paper Aspects of Applicative Programming for Parallel Processing 1978-01-01 Paper Unbounded computational structures...10 bytes (15 words) - 09:08, 24 September 2023
