Nuprl - mb automata 4 Citations of rel mentions trace

mb automata 4 Sections GenAutomata Doc

Def rel_mentions_trace(r) == reduce(

x,y. mentions_trace(x)

y;false

;r.args)

is mentioned

In prior sections: mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc