Login / Signup

Inductive Synthesis of Encoding for Algebraic Abstract Data Types.

Guntis Barzdins
Published in: AII (1989)
Keyphrases