SOL

MaRDI QIDQ46956swMATHFDO

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
• scientific article; zbMATH DE number 7566074 (Why is no real title available?)

This page was built for software: SOL