19. ICALP 1992: Vienna, Austria
: Circuit Complexity and the Expressive Power of Generalized First-Order Formulas.
: Numeration Systems, Linear Recurrences, and Regular Sets (Extended Abstract).
: The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable.
Graph Grammars and Complexity
: A Greibach Normal Form for Context-free Graph Grammars.
: The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects.
: Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract).
: Completion of Rewrite Systems with Membership Constraints.
: A New Metric Between Polygons and How to Compute it.