Search results

of Publication Type Parallel simulation on the hypercube multiprocessor 2020-11-30 Paper An Efficient Directed Localization Recursion Protocol for Wireless...

higher-order recursion schemes for verification of higher-order programs 2015-07-03 Paper Higher-order multi-parameter tree transducers and recursion schemes...

Publication Date of Publication Type Characterizing parallel time by type 2 recursions with polynomial output length 2023-12-12 Paper https://portal...

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...

Publication Date of Publication Type Complexity results for modal logic with recursion via translations and tableaux 2024-09-04 Paper On the axiomatisation of...

reductions: CSP parallel composition and CCS restriction 2023-07-26 Paper Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition...

Paper The complexity of monadic recursion schemes: Exponential time bounds 1984-01-01 Paper The complexity of monadic recursion schemes: executability problems...

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...

encoding using lower \((2,3)\) number representation 2015-03-18 Paper Recursion and parallel algorithms in geometric modeling problems 2010-09-24 Paper Integer...

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...

language characterizing Feasible Functionals 2021-01-21 Paper Primitive recursion in the abstract 2020-03-11 Paper Two function algebras defining functions...

1999-06-17 Paper The semantics of the combination of atomized statements and parallel choice 1999-01-26 Paper https://portal.mardi4nfdi.de/entity/Q4364389 1997-11-17...

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...

bidirectional programming in BiGUL 2019-02-15 Paper Optimizing declarative parallel distributed graph processing by using constraint solvers 2018-07-09 Paper...

Compilers for Parallel Computing 2005-12-27 Paper SFCGen: A framework for efficient generation of multi-dimensional space-filling curves by recursion 2005-07-22...

Streaming approximation scheme for minimizing total completion time on parallel machines subject to varying processing capacity 2023-05-23 Paper Streaming...

2018-09-14 Paper Molecular computing, bounded nondeterminism, and efficient recursion 2018-07-04 Paper On the sizes of DPDAs, PDAs, LBAs 2016-06-16 Paper A note...

sparseness and Turing reducibility over the reals 2013-04-19 Paper Safe recursion over an arbitrary structure: PAR, PH and DPH 2013-04-19 Paper Manifold...

dependency analysis 2005-01-11 Paper Parallel functional programming on recursively defined data via data-parallel recursion 2000-11-28 Paper https://portal...

based on transducers 2018-06-26 Paper Effectivity questions for Kleene's recursion theorem 2018-06-05 Paper Randomness and Solovay degrees 2018-05-04 Paper...