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

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.

The following publications are possibly variants of this publication:

Efficient Decision Algorithms for Locally Finite TheoriesVolker Weispfenning. AAECC 1986: 262-273

runs on WebDSL