Sciweavers

FLOPS
2010
Springer
13 years 11 months ago
Proving Injectivity of Functions via Program Inversion in Term Rewriting
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...
Naoki Nishida, Masahiko Sakai
ACS
2010
14 years 17 days ago
Essentiality and Injectivity
Essentiality is an important notion closely related to injectivity. Depending on a class M of morphisms of a category A, three different types of essentiality are considered in lit...
H. Barzegar, M. Mehdi Ebrahimi, Mojgan Mahmoudi