Nominal Tree Automata with Name AllocationSimon Prucker,Lutz SchröderCONCUR(2024)Cited 0|Views11AI Read ScienceMust-Reading TreeExampleGenerate MRT to find the research sequence of this paperChat PaperSummary is being generated by the instructions you defined