Nuprl Definition : play-len
||moves|| == ||moves||
Definitions occuring in Statement :
seq-len: ||s||
Definitions occuring in definition :
seq-len: ||s||
FDL editor aliases :
play-len
Latex:
||moves|| == ||moves||
Date html generated:
2019_06_20-PM-00_52_00
Last ObjectModification:
2019_01_02-PM-01_31_53
Theory : co-recursion-2
Home
Index