scientific article
From MaRDI portal
Publication:3782766
zbMath0641.68048MaRDI QIDQ3782766
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01) Theory of computing (68Q99)
Related Items (9)
Folding left and right matters: Direct style, accumulators, and continuations ⋮ Efficient parallel and incremental parsing of practical context-free languages ⋮ Calculating a linear-time solution to the densest-segment problem ⋮ A compositional framework for developing parallel programs on two-dimensional arrays ⋮ Process Calculi à la Bird-Meertens ⋮ Least and greatest fixed points in intuitionistic natural deduction ⋮ Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem ⋮ The derivation of on-line algorithms, with an application to finding palindromes ⋮ Taut monads and \(T0\)-spaces.
This page was built for publication:
