The misidentification between mathematical induction and the successor function (recall, a primitive recursive function) could perhaps be excused on the grounds that most expositions of mathematical ...

Our ability to provide a voice for scientists and engineers and to advance science depends on the support from individuals like you. Whether you’re a scientist, engineer, teacher, or science advocate, ...

Zadeh operators for conjunction, disjunction, and negation are not considered a good semantic basis for any mathematical logic. In this paper, fuzzy models are specified by Zadeh operators along with ...

Recursive query is an interesting and subtle topic in XML query. Existing XML query languages often resort to recursive function or recursive predicate to present recursive XML query. However, this ...