JITty

MaRDI QIDQ22089swMATHFDO

Official website http://link.springer.com/chapter/10.1007/3-540-45610-4_26

Cited in

(6)

• scientific article; zbMATH DE number 2043545 (Why is no real title available?)
• Term Rewriting and Applications
• ATERM
• SMI++
• An account of implementing applicative term rewriting
• An overview of the mCRL2 toolset and its recent advances

This page was built for software: JITty