Efficient Decision Procedures for Locally Finite Theories II - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Volker Weispfenning. Efficient Decision Procedures for Locally Finite Theories II. In Patrizia M. Gianni, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 88, Rome, Italy, July 4-8, 1988, Proceedings. Volume 358 of Lecture Notes in Computer Science, pages 390-401, Springer, 1988.

This author has not been identified. Look up 'Volker Weispfenning' in Google

runs on WebDSL