The following pages link to (Q3782766):
Displaying 9 items.
- The derivation of on-line algorithms, with an application to finding palindromes (Q1314430) (← links)
- Taut monads and \(T0\)-spaces. (Q1870523) (← links)
- A compositional framework for developing parallel programs on two-dimensional arrays (Q2460097) (← links)
- Process Calculi à la Bird-Meertens (Q4917032) (← links)
- Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem (Q4982054) (← links)
- Efficient parallel and incremental parsing of practical context-free languages (Q5371946) (← links)
- Calculating a linear-time solution to the densest-segment problem (Q5371958) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)
