Sciweavers

FLOPS
2010
Springer
13 years 2 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
13 years 4 months 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