Reinhold Mueller has been the one and only historian of medicine in Germany who worked in the field of the Indian history of medicine from the 1920s to the 1960s. He influenced German, American and In...
This paper is a summary of the following six publications: (1) Stable Power Domains [Hec94d] (2) Product Operations in Strong Monads [Hec93b] (3) Power Domains Supporting Recursion and Failure [Hec92]...
This paper is a summary of the following six publications: (1) Stable Power Domains [Hec94d] (2) Product Operations in Strong Monads [Hec93b] (3) Power Domains Supporting Recursion and Failure [Hec92]...
In this note, we shall make aproposal for the syntax and semantics of patterns in the transformation language TRAFOLA. First, we shall define and investigate semantic domains for patterns, and conside...
This paper is a summary of the following six publications: (1) Stable Power Domains [Hec94d] (2) Product Operations in Strong Monads [Hec93b] (3) Power Domains Supporting Recursion and Failure [Hec92]...
in the Project PROgram development bySPECification and TRAnsformation sponsored by the Commission of the European Communities under the EuropeanStrategic Programme forResearch and development in Infor...