Crossmark

Quantifier-free induction for lists

Crossref DOI link: https://doi.org/10.1007/s00153-024-00923-8

Published Online: 2024-04-20

Published Print: 2024-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Hetzl, Stefan

Vierling, Jannik
Funding

Funding for this research was provided by:

TU Wien
License Information

Text and Data Mining valid from 2024-04-20

Version of Record valid from 2024-04-20
More Information

Article History

Received: 27 April 2023

Accepted: 21 March 2024

First Online: 20 April 2024