Up a level |
Chevalier, Fabrice and D'Souza, Deepak and Mohan, M Raj and Prabhakar, Pavithra (2009) Automata and logics over finitely varying functions. In: International Symposium on Logical Foundations of Computer Science (LFCS 2007), JUN 04-07, CUNY, New York, pp. 324-336.