220 followers
Deciding Local Theory Extensions via E-matching. - Kshitij Bansal, Andrew Reynolds, Tim King 0001, Clark W.… http://t.co/nJ5OZPOd7e
Deciding Local Theory Extensions via E-matching. - Kshitij Bansal, Andrew Reynolds, Tim King 0001, Clark W.… http://t.co/nJ5OZPOd7e