A General Approach to Connected-Component Labelling for Arbitrary Image Representations.
A Four Russians Algorithm for Regular Expression Pattern Matching.
What Can Machines Know? On the Properties of Knowledge in Distributed Systems.
Nonlinear Pattern Matching in Trees.
An Analysis of the Longest Match and the Greedy Heuristics in Text Encoding.
Theorem Proving Using Equational Matings and Rigid E-Unification.
The Generation of Binary Trees as a Numerical Problem.