Search results
From MaRDI portal
- de/entity/Q2763683 2002-01-21 Paper Parallel functional programming on recursively defined data via data-parallel recursion 2000-11-28 Paper https://portal...10 bytes (13 words) - 17:04, 9 December 2023
- dependency analysis 2005-01-11 Paper Parallel functional programming on recursively defined data via data-parallel recursion 2000-11-28 Paper https://portal...10 bytes (13 words) - 02:05, 7 October 2023
- Publication Date of Publication Type Complexity results for modal logic with recursion via translations and tableaux 2024-09-04 Paper On the axiomatisation of...10 bytes (15 words) - 04:34, 7 October 2023
- reductions: CSP parallel composition and CCS restriction 2023-07-26 Paper Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition...10 bytes (14 words) - 01:45, 10 December 2023
- higher-order recursion schemes for verification of higher-order programs 2015-07-03 Paper Higher-order multi-parameter tree transducers and recursion schemes...10 bytes (14 words) - 08:08, 25 September 2023
- encoding using lower \((2,3)\) number representation 2015-03-18 Paper Recursion and parallel algorithms in geometric modeling problems 2010-09-24 Paper Integer...10 bytes (16 words) - 09:52, 9 December 2023
- language characterizing Feasible Functionals 2021-01-21 Paper Primitive recursion in the abstract 2020-03-11 Paper Two function algebras defining functions...10 bytes (15 words) - 12:28, 28 January 2024
- procedures 1994-06-29 Paper Nondeterminacy and recursion via stacks and games 1994-04-05 Paper Programs, Recursion and Unbounded Choice 1993-01-23 Paper LR-parsing...10 bytes (15 words) - 11:05, 9 December 2023
- of Publication Type Parallel simulation on the hypercube multiprocessor 2020-11-30 Paper An Efficient Directed Localization Recursion Protocol for Wireless...10 bytes (13 words) - 01:57, 9 December 2023
- bidirectional programming in BiGUL 2019-02-15 Paper Optimizing declarative parallel distributed graph processing by using constraint solvers 2018-07-09 Paper...10 bytes (13 words) - 09:13, 6 October 2023
- Publication Date of Publication Type Characterizing parallel time by type 2 recursions with polynomial output length 2023-12-12 Paper https://portal...10 bytes (15 words) - 15:49, 12 December 2023
- 2000-06-04 Paper Parallelization of divide-and-conquer by translation to nested loops 2000-01-17 Paper On linear list recursion in parallel 1999-12-19 Paper...10 bytes (13 words) - 23:41, 24 September 2023
- de/entity/Q4035305 1993-05-18 Paper A new recursion-theoretic characterization of the polytime functions 1993-04-01 Paper An Optimal Parallel Algorithm for Formula Evaluation...10 bytes (16 words) - 16:38, 12 December 2023
- 2016-09-29 Paper Conjugate hylomorphisms -- or: the mother of all structured recursion schemes 2016-09-29 Paper Comprehending Ringads 2016-08-17 Paper Reflections...10 bytes (14 words) - 00:41, 10 December 2023
- 2002-01-07 Paper Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles 1997-05-27 Paper Some Reflections on the Foundations of Ordinary Recursion Theory...10 bytes (14 words) - 03:00, 7 October 2023
- Paper The complexity of monadic recursion schemes: Exponential time bounds 1984-01-01 Paper The complexity of monadic recursion schemes: executability problems...10 bytes (17 words) - 04:05, 9 December 2023
- for quantum arithmetic 2010-10-11 Paper Parallelization of reversible ripple-carry adders 2010-09-29 Paper Parallel Optimization of a Reversible (Quantum)...10 bytes (17 words) - 06:27, 7 October 2023
- systems, recursion and extensional lambda calculi 2019-04-29 Paper A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and...10 bytes (17 words) - 09:33, 6 October 2023
- games 1997-02-28 Paper Correlation of Boolean Functions and Pathology in Recursion Trees 1996-07-02 Paper The asymptotic behaviour of diameters in the average...10 bytes (15 words) - 02:01, 11 December 2023
- Analysis of Probabilistic Programs with Unbounded Recursion 2011-07-07 Paper On Probabilistic Parallel Programs with Process Creation and Synchronisation...10 bytes (13 words) - 11:40, 28 January 2024
