Induction with Recursive Definitions in Superposition (2021)
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