Buscas alternativas:
proof » prof (Expandir a busca)
"Proof-nets" » "Proof-net" (Expandir a busca), "Proof-neto" (Expandir a busca), "Proof-news" (Expandir a busca)
proof » prof (Expandir a busca)
"Proof-nets" » "Proof-net" (Expandir a busca), "Proof-neto" (Expandir a busca), "Proof-news" (Expandir a busca)
1
Assuntos:
“...Proof-nets...”
A combinatorial study of soundness and normalization in n-graphs
Dissertação