Information Processing Letters

Title Publication Date Language Citations
Cooperating proofs for distributed programs with multiparty interactions1990/02/01English
Illumination of polygons with vertex lights1995/10/01English
Producing a top-down parse order with bottom-up parsing1995/06/01English
The behavior of shared objects: concepts, pitfalls, and a new model1989/02/01English
Running ASCEND, DESCEND and PIPELINE algorithms in parallel using small processors1993/04/01English
Confluence of indirection reductions in graph rewrite systems1988/10/01English
A positive relativization of polynomial time versus polylog space1993/06/01English
A note on restricted H-colouring1991/11/01English
An almost perfect heuristic for the N nonattacking queens problem1990/04/01English
R-generability, and definability in branching time logics1992/04/01English
An algorithm for the computation of the Hutchinson distance1991/10/01English
Parallel construction of minimal suffix and factor automata1990/07/01English
An O(1) time optimal algorithm for multiplying matrices on reconfigurable mesh1993/08/01English
A simple solution to the interleaved memory bandwidth problem1975/03/01English
Editorial board1990/10/01English
Sharing special purpose resources in a multiprocessor environment1990/05/01English
A proof rule for multiple coroutine systems1976/03/01English
Synthesis of a discrete-time optimal filter algorithm with reduced sensitivity to deviations of a priori statistics1972/10/01English
New sequential and parallel algorithms for interval graph recognition1990/04/01English
Single character searching methods and the shift-or pattern-matching algorithm1994/06/01English
Bit complexity of matrix products1991/06/01English
The vertex separation number of a graph equals its path-width1992/07/01English
Not all planar diagraphs have small cycle separators1992/11/01English
A note on the power of majority gates and modular gates1995/03/01English
An asymptotic comment on a paper by Analyti and Pramanik1994/03/01English
Program schemata with polynomial bounded counters1975/01/01English
A linear space translation of functional programs to Turner combinators1982/07/01English
Programmed simulation of race hazards in sequential circuits1971/02/01English
A simple optimal parallel algorithm for the minimum coloring problem on interval graphs1993/10/01English
Data compression in limited capacity microcomputer systems1981/01/01English