TILC

swMATH17746MaRDI QIDQ29599FDOQ29599

Author name not available (Why is that?)

Official website: http://ima.udg.edu/~villaret/tilc/

Cited In (2)

• Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
• Anagopos

This page was built for software: TILC