Learning functions represented as multiplicity automata.
Behavioral equivalence in the polymorphic pi-calculus.
A subdivision-based algorithm for the sparse resultant.
An axiomatic treatment of three qualitative decision criteria.
The expressibility of languages and relations by word equations.