An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time.
Perfectly Secure Message Transmission.
The Minimum Consistent DFA Problem Cannot be Approximated within any Polynomial.
Generating Automatically Tuned Bitmaps from Outlines.
A Framework for Defining Logics.
Learning Read-Once Formulas with Queries.