Induction with Recursive Definitions in Superposition (2021)

First Author: Hajdú M
Attributed to:  QuTie: reasoning with Quantifiers and Theories funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

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

Type: Conference/Paper/Proceeding/Abstract