Reuse of Introduced Symbols in Automatic Theorem Provers (2022)

First Author: Rawson M
Attributed to:  CAPS: Collaborative Architectures for Proof Search funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://repositum.tuwien.at/handle/20.500.12708/177657

Type: Conference/Paper/Proceeding/Abstract

Volume: PAAR 2022. Practical Aspects of Automated Reasoning 2022. Proceedings of the Workshop on Practical Aspects of Automated Reasoning