Skip to content

Supported Sets - A New Foundation for Nominal Sets and Automata.

Thorsten Wimann

VenueBCSL
Year2023
ProceedingsCSL

Browse the full CSL paper archive.