Verifying Unboundedness via Amalgamation

Open Webpage

Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche

Published: 01 Jan 2024, Last Modified: 16 May 2025LICS 2024EveryoneRevisionsBibTeXCC BY-SA 4.0