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
- theory 2024-08-15 Paper Which arithmetical data types admit fracterm flattening? 2024-08-15 Paper Four notions of fault for program specifications 2024-08-15...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
- Useless-code elimination and program slicing for the pi-calculus. 2010-01-05 Paper Undecidable equivalences for basic parallel processes 2009-07-15 Paper...10 bytes (14 words) - 08:08, 25 September 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
- 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
- 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
- methods for corecursive programs 2006-06-19 Paper FUNCTIONAL PEARL: Enumerating the rationals 2006-06-09 Paper Mathematics of Program Construction 2005-08-26...10 bytes (14 words) - 00:41, 10 December 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
- 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
- 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
- ordering 2009-11-06 Paper Fast arithmetic for triangular sets: from theory to practice 2009-06-18 Paper Fast arithmetic for triangular sets: from theory...10 bytes (15 words) - 05:35, 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
- 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
- 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
- linear logic and an application to a feasible arithmetic 2017-07-19 Paper Higher-order interpretations and program complexity 2016-05-03 Paper Implicit Computational...10 bytes (13 words) - 09:43, 6 October 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
