sprfn

swMATH24048MaRDI QIDQ35809FDOQ35809

Author name not available (Why is that?)

Described by source

• Term rewriting: Some experimental results

Cited In (2)

• Title not available (Why is that?)
• Set theory for verification. I: From foundations to functions

This page was built for software: sprfn