M. A. Bauer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1985

1 M. A. Bauer: Soundness and Completeness of a Synthesis Algorithm Based on Example Computations J. ACM 32(2): 249-279 (1985)