×

Found 3 Documents (Results 1–3)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field