<span lang="EN-US">This work has its origin in physics learning with secondary school students Morocco. The present focuses on the relationship between and mathematics as well source of difficulties half-life concept. To highlight our research objectives, researchers resorted to nominal group technique (NGT) which is used not only identify students’ opinions about mathematization but also...

We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...