Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred; Tiwari, Ashish Context unification with one context variable. (English) Zbl 1192.68431 J. Symb. Comput. 45, No. 2, 173-193 (2010). MSC: 68Q60 68N99 PDFBibTeX XMLCite \textit{A. Gascón} et al., J. Symb. Comput. 45, No. 2, 173--193 (2010; Zbl 1192.68431) Full Text: DOI Link
Gascón, Adrià; Godoy, Guillem; Jacquemard, Florent Closure of tree automata languages under innermost rewriting. (English) Zbl 1294.68103 Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 23-38 (2009). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{A. Gascón} et al., Electron. Notes Theor. Comput. Sci. 237, 23--38 (2009; Zbl 1294.68103) Full Text: DOI
Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred Unification with singleton tree grammars. (English) Zbl 1242.68132 Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29–July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 365-379 (2009). MSC: 68Q42 03B35 68Q25 PDFBibTeX XMLCite \textit{A. Gascón} et al., Lect. Notes Comput. Sci. 5595, 365--379 (2009; Zbl 1242.68132) Full Text: DOI