Merge: In Honour of Robert K. Meyer
DOI:
https://doi.org/10.26686/ajl.v8i0.1816Abstract
Methods for unifying inconsistent pairs of theories, which we call collectively MERGE, are defined and their properties outlined.Downloads
Download data is not yet available.
Downloads
Published
2011-04-29
Issue
Section
Articles