Dismatching and local disunification in EL (extended abstract)

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageGerman
Title of host publicationProceedings of the 29th International Workshop on Unification (UNIF’15)
Publication statusPublished - 2015
Peer-reviewedYes

Keywords