1 search result for "author:"Évelyne Contejean <contejea@lri.fr> [http://www.lri.fr/~contejea]""

Showing 1 - 1

coq-cantor

No documentation

On Ordinal Notations

keyword: ordinal numbers keyword: well-foundedness keyword: termination keyword: rpo keyword: Goodstein sequences category: Mathematics/Logic category: Mathematics/Arithmetic and Number Theory/Number theory date: 2006-05-22

Pierre Castéran <pierre.casteran@labri.fr> [http://www.labri.fr/~casteran/] Évelyne Contejean <contejea@lri.fr> [http://www.lri.fr/~contejea]

8.10.0

LGPL

Used by 0 other packages

07 Dec 2019