Found 43 Documents (Results 1–43)

On equality up-to constraints over finite trees, context unification, and one-step rewriting. (English) Zbl 1430.68137

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 34-48 (1997).
Full Text: DOI Link

If a D0L language is \(k\)-power free then it is circular. (English) Zbl 1422.68157

Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 507-518 (1993).
MSC:  68Q45
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field