Program Tactics and Logic Tactics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fausto Giunchiglia, Paolo Traverso. Program Tactics and Logic Tactics. In Frank Pfenning, editor, Logic Programming and Automated Reasoning, 5th International Conference, LPAR 94, Kiev, Ukraine, July 16-22, 1994, Proceedings. Volume 822 of Lecture Notes in Computer Science, pages 16-30, Springer, 1994.

This author has not been identified. Look up 'Fausto Giunchiglia' in GoogleThis author has not been identified. Look up 'Paolo Traverso' in Google

runs on WebDSL