sprfn

swMATH24048MaRDI QIDQ35809FDOQ35809

Author name not available (Why is that?)

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

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