Lambda-Dropping: Transforming Recursive Equations Into Programs With Block Structure

BRICS Report Series
doi 10.7146/brics.v6i27.20096
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

BRICS Report Series
1999English

A Recursive Bipartitioning Algorithm for Permuting Sparse Square Matrices Into Block Diagonal Form With Overlap

SIAM Journal of Scientific Computing
Computational MathematicsApplied Mathematics
2013English

Bottom-Up Computation of Recursive Programs

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
1976English

Dropping Ferric Iron Into a Low Spin

Science
MultidisciplinaryPhilosophy of ScienceHistory
2018English

Pac-Learning Recursive Logic Programs: Efficient Algorithms

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

Exponential Stability of Difference Equations With Several Delays: Recursive Approach

Advances in Difference Equations
Applied MathematicsNumber TheoryAnalysisAlgebra
2009English

Pac-Learning Recursive Logic Programs: Negative Results

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

Features and Recursive Structure

Nordlyd
2015English

Recursive Programs as Definitions in First-Order Logic

SIAM Journal on Computing
MathematicsComputer Science
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy