Buscas alternativas:
partial recursive » parcial recursiva (Expandir a busca), sparsity recursive (Expandir a busca), partial recording (Expandir a busca)
recursive logic » discursive logic (Expandir a busca), recursive looping (Expandir a busca), reversible logic (Expandir a busca)
partial recursive » parcial recursiva (Expandir a busca), sparsity recursive (Expandir a busca), partial recording (Expandir a busca)
recursive logic » discursive logic (Expandir a busca), recursive looping (Expandir a busca), reversible logic (Expandir a busca)
1
Assuntos:
“...Lógica nominal...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese