Hardness vs randomness
Invariant sets for substitution
On computing serial dependency relations
Vacillatory learning of nearly minimal size grammars
Dynamic dictionary matching
A branching time logic with past operators
Non-deterministic communication complexity with few witnesses
The translation power of top-down tree-to-graph transducers
Efficient inference of partial types
A linear-time near-optimum-length triangulation algorithm for convex polygons
A three-valued semantics for deductive databases and logic programs
Measures of nondeterminism for pushdown automata
Learning with discrete multivalued neurons
Robust gift wrapping for the three-dimensional convex hull
Listing graphs that satisfy first-order sentences