SOL

swMATH35247MaRDI QIDQ46956FDOQ46956

Author name not available (Why is that?)

Official website: https://www.cs.gunma-u.ac.jp/~hamana/Papers/inv.pdf

Described by source

• How to prove decidability of equational theories with second-order computation analyser SOL
• Unnamed Publication

This page was built for software: SOL