sprfn

MaRDI QIDQ35809swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S0747717108801368

Described by source

• Term rewriting: Some experimental results

Cited in

(2)

• scientific article; zbMATH DE number 4074536 (Why is no real title available?)
• Set theory for verification. I: From foundations to functions

This page was built for software: sprfn