Stem abridg$ (all stems)

4 papers:

VLDB-2003-Ioannidis

The History of Histograms (abridged) (YEI), pp. 19–30.

ESOP-1998-Thiemann #framework

A Generic Framework for Specialization (Abridged Version) (PT), pp. 267–281.

ICALP-1997-HarelS #logic #process

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (DH, ES), pp. 408–418.

LICS-1986-GermanCH #axiom

True Relative Completeness of an Axiom System for the Language L4 (Abridged) (SMG, EMC, JYH), pp. 11–25.