Login / Signup

Coinductive Formal Reasoning in Exact Real Arithmetic.

Milad Niqui
Published in: Log. Methods Comput. Sci. (2008)
Keyphrases