Buscas alternativas:
pattern matching » pattern mining (Expandir a busca)
math programming » fetal programming (Expandir a busca)
matching math » matching method (Expandir a busca), matching to (Expandir a busca), teaching math (Expandir a busca)
pattern matching » pattern mining (Expandir a busca)
math programming » fetal programming (Expandir a busca)
matching math » matching method (Expandir a busca), matching to (Expandir a busca), teaching math (Expandir a busca)
1
“... associative (A), commutative (C) and associative-comutative (AC) function symbols. Equalitychecking, matching...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese