Did you know ... Search Documentation:
Profile for user Dragan Ivanovic

Comments by Dragan Ivanovic

unifiable/3Hi, when running a very classical example of rational tree unification, I get th ...