Nuprl Definition : ldag
LabeledDAG(T) == {g:LabeledGraph(T)| is-dag(g)}
Definitions occuring in Statement :
is-dag: is-dag(g),
labeled-graph: LabeledGraph(T),
set: {x:A| B[x]}
FDL editor aliases :
ldag
Latex:
LabeledDAG(T) == \{g:LabeledGraph(T)| is-dag(g)\}
Date html generated:
2015_07_22-PM-00_29_52
Last ObjectModification:
2012_02_25-PM-03_35_40
Home
Index