Picture for Fabian Mitterwallner

Fabian Mitterwallner

Automated Strategy Invention for Confluence of Term Rewrite Systems

Add code
Nov 10, 2024
Viaarxiv icon