Login / Signup

Nominal Tree Automata with Name Allocation.

Simon PruckerLutz Schröder
Published in: CONCUR (2024)
Keyphrases