Automated Reasoning-Alternative Methods
Main Article Content
Abstract
Our main goal is to describe a potential usage of the interpretation method (i.e. formal representation of one first order theory into another) together with quantifier elimination procedures developed in the GIS.
Article Details
Issue
Section
Articles