Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ulrik P. Schultz

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

BRICS Report Series

English

Related publications

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

BRICS Report Series

English

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

SIAM Journal of Scientific Computing

Computational Mathematics

Applied Mathematics

English

Bottom-Up Computation of Recursive Programs

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

English

Dropping Ferric Iron Into a Low Spin

Multidisciplinary

Philosophy of Science

English

Pac-Learning Recursive Logic Programs: Efficient Algorithms

Journal of Artificial Intelligence Research

Artificial Intelligence

English

Exponential Stability of Difference Equations With Several Delays: Recursive Approach

Advances in Difference Equations

Applied Mathematics

English

Pac-Learning Recursive Logic Programs: Negative Results

Journal of Artificial Intelligence Research

Artificial Intelligence

English

Features and Recursive Structure

English

Recursive Programs as Definitions in First-Order Logic

SIAM Journal on Computing

Computer Science

English