Вы здесь

Главная

рекурсия

Связанные издания:

Algorithms and Computation: Proc./8th Internatiomal Workshop, WALCOM 2014, Chennai, India, February 2014
An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications
A New Top-Down Parsing Algorithm for Left-Recursive DCGs
A Note on Guarded Recursion
A Plan-based Approach to Prolog Recursion
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc./16th International Workshop, APPROX 2013 and 17th International Workshop, RANDOM 2013, Berkley,CA,USA, August 2013
A Type System for Well-Founded Recursion
Automatical Synthesis of Programs with Recursions
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi
Computer Science logic: Proc./16th Intern. Workshop, CSL 2002, 11th Annual Conf. of the EACSL, Edinburgh, Scotland, UK, September 2002
Conceptual Structures for Recursion
CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A.
Control Flow Analysis for Recursion Removal
Dual unbounded nondeterminacy, recoursion, and fixpoints
Elimination von Rekursionen
Executing Bounded Quantifications on Shared Memory Multiprocessors
Foundations of Software Science and Computation Structures: Proc./19th International Conference, FOSSACS 2016 Held as Part of the ETAPS 2016, Eindhoven, The Netherlands, April 2016
From a Tabular Classification to Parallel Implementations of Lineary Recursive Functions
From Chaosto Undefinedness: A Story about Recursion as Well as Termination, Underspecification, Nondeterminism, Fixpoints, Metric Treatment, And Logical Models
Functional Programming with Apomorphisms (Corecursion)
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs
LaToKi: A Language Tookit for Bottom-Up Evaluation of Functional Programs
Membrane Computing: Revised Selected Papers/14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 2013
Metric Pomset Semantics for a Concurrent Language with Recursion
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions
Normalization of Linear Recursions Based on Graph Transformations
On Linear List Recursion in Parallel
On the Expressive Power of Query Languages
On the Power of Recursion in Dataflow Schemes
On Two Forms of Structural Recursion
Parallelizing Recursive Logic Programs Through Decomposition
Performance Evaluation of Algorithms for Transitive Closure
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Predicative Recurrence in Finite Types
Programming Languages and Systems: Proc./4th Asian Symposium,APLAS 2006, Sydney,Australia,November 2006
Programs Transformation with Metasystem Transitions: Experiments with a Supercompiler
Recursion and Petri Nets
Recursion Versus Iteration at Higher-Orders
Representing Proof Transformations for Program Optimization
Solving Recursive Net Equations
Sprachliche Formulierung rekursiver und iterativer Anfragen in Datenbanksystemen
The Box Calculus: a New Causal Algebra with Multi-label Communication
The Girard Translation Extended with Recursion
The Tree Equivalence Problem for Linear Recursion Schemes
Typed Lambda Calculi and Applications: Proc./7th International Conference, TLCA 2005. Nara, Japan, April 2005
Using Structural Recursion as Query Mechanism for Data Models with References
Автоматический синтез программ с циклами и рекурсиями
Дискретная математика и комбинаторика
Исключение рекурсий из программ
Исследование сложности вычисления рекурсивных программ на основе специфических критериев