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:
2018_07_25-PM-01_31_24
Last ObjectModification:
2018_06_12-AM-09_39_08
Theory : co-recursion
Home
Index