Sciweavers

IJAC
2011
12 years 8 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»
13 years 4 months 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
13 years 10 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