Learn More
Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called(More)
Mammalian housekeeping promoters represent a class of regulatory elements different from those of tissues-specific genes, lacking a TATA box and associated with CG-rich DNA. We have compared the organization of the housekeeping Htf9 promoter in different cell types by genomic footprinting. The sites of in vivo occupancy clearly reflected local combinations(More)
  • 1