• Publications
  • Influence
Institution-independent model theory
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 thatExpand
  • 181
  • 27
Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
Basic specifications - signatures models sentences satisfaction proof system structuring specifications - fundamental semantics concepts module imports views parameterized modules module expressions built-in modules proof technologies - rewriting induction coinduction methodologies - nondeterminism concurrent object composition dynamic systems of objects applications in rewriting logic general small methodological advises. Expand
  • 242
  • 14
Comparing morbidity and mortality of HLA-matched unrelated donor hematopoietic cell transplantation after nonmyeloablative and myeloablative conditioning: influence of pretransplantation
We have carried out HLA-matched unrelated donor hematopoietic cell transplantation (HCT) after nonmyeloablative conditioning in patients with hematologic malignancies who were ineligible forExpand
  • 312
  • 12
Morbidity and mortality with nonmyeloablative compared with myeloablative conditioning before hematopoietic cell transplantation from HLA-matched related donors.
Nonmyeloablative regimens for allogeneic hematopoietic cell transplantation (HCT) have been developed for patients ineligible for myeloablative conditioning. We compared regimen-related toxicitiesExpand
  • 305
  • 10
Logical foundations of CafeOBJ
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
  • 109
  • 10
  • PDF
Logical support for modularisation
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 someExpand
  • 209
  • 9
Hiding and behaviour: an institutional approach
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
  • 68
  • 8
Grothendieck Institutions
We use Grothendieck institutions as the underlying mathematical structure for the semantics of multi-paradigm (heterogenous) algebraic specification. Expand
  • 36
  • 7
Behavioural Coherence in Object-Oriented Algebraic Specification
  • 111
  • 6
An Institution-independent Proof of Craig Interpolation Theorem
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
  • 49
  • 6