Unification in the Combination of Disjoint Theories
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Organisational units
Details
| Translated title of the contribution | Unification in the Combination of Disjoint Theories |
|---|---|
| Original language | English |
| Title of host publication | Unification in the Combination of Disjoint Theories |
| Pages | 177-186 |
| Publication status | Published - 1991 |
