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