Merge: In Honour of Robert K. Meyer

Chris Mortensen

Abstract


Methods for unifying inconsistent pairs of theories, which we call collectively MERGE, are defined and their properties outlined.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.