A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that… Expand

We have carried out HLA-matched unrelated donor hematopoietic cell transplantation (HCT) after nonmyeloablative conditioning in patients with hematologic malignancies who were ineligible for… Expand

Nonmyeloablative regimens for allogeneic hematopoietic cell transplantation (HCT) have been developed for patients ineligible for myeloablative conditioning. We compared regimen-related toxicities… Expand

We survey the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adds to it several new primitive paradigms such as behavioural concurrent specification and rewriting logic.Expand

Modularisation is important for managing the complex structures that arise in large theorem proving problems, and in large software and/or hardware development projects. This paper studies some… Expand

Theories with hidden sorts provide a setting to study the idea of behaviour and behavioural equivalence of elements, and we give a general explication of "hiding" in an institution.Expand

We use Grothendieck institutions as the underlying mathematical structure for the semantics of multi-paradigm (heterogenous) algebraic specification.Expand

We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of theactual logic.Expand