Login / Signup

A Completeness Theorem for Straight-Line Programs with Structured Variables.

Christoph M. HoffmannLawrence H. Landweber
Published in: J. ACM (1976)
Keyphrases