A more expressive formulation of many sorted logic

Author:

Publisher website

1 June 1987

journal article
Published by Springer Nature in Journal of Automated Reasoning

Vol. 3 (2) , 113-200
DOI:10.1007/bf00243207

Abstract

No abstract available

Keywords

Cited by 58 articles