Publication:3166166

zbMath1248.68406MaRDI QIDQ3166166

Atulya K. Nagar, D. Gnanaraj Thomas, Thamburaj Robinson, M. Jayasrirani

Publication date: 21 October 2012

zbMATH Keywords

Church-Rosser tree rewriting systems; tree manipulating systems

Mathematics Subject Classification ID

68W05: Nonnumerical algorithms

68T05: Learning and adaptive systems in artificial intelligence

68Q42: Grammars and rewriting systems