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.