12 Nov
2020
12 Nov
'20
12:23 p.m.
Dear all, Re: ... maybe the list could also become more active again ... I'll try. And it's not about string rewriting! Just today I read (again) DEK's "Textbook Examples of Recursion" https://arxiv.org/abs/cs/9301113 because I use some of it in teaching. Do we have examples from that paper in TPDB? There is tpdb-4.0/LP/talp/maria/tak.pl What is the status of "Open problem 4"? Best regards, Johannes.