SOL

swMATH35247MaRDI QIDQ46956FDOQ46956

Author name not available (Why is that?)

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