Login / Signup

Efficient Program Synthesis: Semantics, Logic, Complexity.

Max I. Kanovich
Published in: TACS (1991)
Keyphrases