Applying Tree Languages in Proof Theory (2012)

by Stefan Hetzl
Venue:In Adrian-Horia Dediu and Carlos Martín-Vide, editors, Language and Automata Theory and Applications (LATA) 2012, volume 7183 of Lecture Notes in Computer Science
Citations:7 - 6 self