Вы здесь

Главная

рекурсивный

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

Implication of Functional Dependencies for Recursive Queries
Improving Programs which Recurse over Multiple Inductive Structures
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions
Inductive Inference with Bounded Mind Changes
Inlining Semantics for Subroutines which are Recursive
Interface Definition Language Conversions: Recursive Types
Interprocedural Shape Analysis for Recursive Programs
Isomorphisms of Genetic Recursive Polynomial Types
Lambda-Dropping: Transforming Reqursive Equations into Programs with Block Structure
LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories
Linear Recursive Networks and Their Applications in Topological Design and Data Routing
Logic and Its Applications: Proc./4th Indian Conference, ICLA 2011, Delhi, India, January 2011
Monotonic Language Learning
Negation and Aggregates in Recursive Rules: The LDL++ Approach
Nonstandard Logics of Recursive Programs and Denotational Semantics
Nonuniform Alias Analysis of Recursive Data Structures and Arrays
Normalization and Compilation of Deductive and Object-Oriented Database Programs for Efficient Query Evaluation
On Equivalent Transformations of Recursion Schemes
On First Order Logic of Proofs
On Higher Order Recursive Program Schemes
On Linear List Recursion in Parallel
On the Expressive Power of Finitely Typed and Universally Polymorphic Recursive Procedures
On the Optimal Top-down Evaluation of Recursive Queries
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers
On the Synthesis of Parallel Programs from Tensor Product Formulas for Block Recursive Algorithms
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language
Optimization of Object-Oriented Recursive Queries Using Cost-Controlled Stategies
Out-of-Core Functional Programming with Type-Based Primitives
Parallel Evaluation of the Transitive Closure of a Database Relation
Parallelizing Recursive Logic Programs through Decomposition
Partial View Materialization in Deductive Databases - An Empirical Study
Positive Recursive Type Assignment
Provably recursive programs and program extraction
Proving Properties of Programs Defined Over Recursive Data Structures
Random sprouts as Internet models. and Polya processes
Real Recursive Functions and Real Extensions of Recursive Functions
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
Recursion Theoretic Properties of Frequency Computation and Bounded Queries
Recursion vs. Iteration in Prolog
Recursive Applicative Program Schemes
Recursive Ascent-Descent parsers
Recursive Definitions in Z
Recursive Definitions Revisited
Recursive Design of an Application-Independent Architecture
Recursive Evaluation of Attrubute Grammars: Two Implementations
Recursive Formulation of Cholesky Algorithm in Fortran 90
Recursive Functions in a Data Base Language for Complex Objects
Recursive graphs are not stable under maximal reduction
Recursive Inseparability in Linear logic
Recursive Models for Precise Analysis of Logic Programs