JITty

swMATH10121MaRDI QIDQ22089FDOQ22089

Author name not available (Why is that?)

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

Cited In (6)

• Title not available (Why is that?)
• Term Rewriting and Applications
• ATERM
• SMI++
• An overview of the mCRL2 toolset and its recent advances
• An account of implementing applicative term rewriting

This page was built for software: JITty