JITty

swMATH10121MaRDI QIDQ22089FDOQ22089

Author name not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Term Rewriting and Applications
• An Overview of the mCRL2 Toolset and Its Recent Advances
• An account of implementing applicative term rewriting

This page was built for software: JITty