We introduce a reational semantics (found by E. Orlowska) which has the advantage to allow an interpretation of the propositionnal logic using only binary relations. We treat also the computational complexity of the satisfiability problem of the propositional fragment of logic ....
The mechanism of these addition-elimination reactions is established from 4,5-disubstitued germadioxolanes. The reaction takes place under steric control. The consecutive elimination reaction proceeds by a mechanism of intramolecular nucleophilic substitution....
sentations intégraleséquations de Cauchy–Riemann tangentiellesextensions de fonctions CR-q - convexité- q - concavitéWe construct local formulas of Martinelli - Bochner - Koppelman type on q - concave generic CR - manifolds. We apply these results to study the tangentiel Cauchy–Riemann ...
Cruz Hernández, E.Coordinación para la Innovación y Aplicación de la Ciencia y Tecnología, Universidad Autónoma de San Luis Potosí, Av. Sierra Leona 550, Col. Lomas 2a. Sección, San Luis Potosí, S.L.P. 78210, México;Coordinación para la Innovación y Aplicación de la Ciencia y ...