RAPT

MaRDI QIDQ14098swMATHFDO

Official website http://www.jaist.ac.jp/~chiba/RAPT/index.html

Described by source

• RAPT: A Program Transformation System Based on Term Rewriting

Cited in

(3)

• Tsukuba
• Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12--14, 2006. Proceedings.
• On the Repeat-Annotated Phylogenetic Tree Reconstruction Problem

This page was built for software: RAPT