A Uniform Approach to Deduction and Automatic Implementation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone. A Uniform Approach to Deduction and Automatic Implementation. In John Fitch, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings. Volume 721 of Lecture Notes in Computer Science, pages 132-144, Springer, 1992.

Identified as Sergio Antoy This author has not been identified. Look up 'Paola Forcheri' in GoogleThis author has not been identified. Look up 'Maria Teresa Molfino' in GoogleThis author has not been identified. Look up 'Carlo Schenone' in Google

runs on WebDSL