Sciweavers

IJAC
2011
13 years 3 months ago
Bass Cyclic Units as Factors in a Free Group in Integral Group Ring Units
Marciniak and Sehgal showed that if u is a non-trivial bicyclic unit of an integral group ring then there is a bicyclic unit v such that u and v generate a non-abelian free group. ...
Jairo Z. Gonçalves, Ángel del R&iacu...
BMCBI
2006
118views more  BMCBI 2006»
14 years 15 days ago
Exploration of biological network centralities with CentiBiN
Background: The elucidation of whole-cell regulatory, metabolic, interaction and other biological networks generates the need for a meaningful ranking of network elements. Central...
Björn H. Junker, Dirk Koschützki, Falk S...
LICS
2006
IEEE
14 years 6 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra