Show simple item record

dc.contributor.authorHirokawa, Nen_US
dc.contributor.authorNagele, Jen_US
dc.contributor.authorOostrom, VVen_US
dc.contributor.authorOyamaguchi, Men_US
dc.contributor.author6th International Workshop on Confluenceen_US
dc.date.accessioned2018-05-10T14:08:15Z
dc.date.available2017-07-23en_US
dc.date.issued2017-08-16en_US
dc.date.submitted2018-05-02T17:20:03.986Z
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/37403
dc.description6th International Workshop on Confluenceen_US
dc.description.abstractLet a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as pairs of terms with gaps (2nd order variables) and pattern-substitutions for the gaps. We show both notions of cluster and the corresponding refinement/coarsening orders on them, to be isomorphic. This equips clusters with a lattice structure which we lift to (parallel/multi) steps to yield an alternative account of the notion of critical peak.en_US
dc.subjectcs.LOen_US
dc.subjectcs.LOen_US
dc.titleCritical Peaks Redefined - Φ⊔Ψ=⊤en_US
dc.typeConference Proceeding
dc.rights.holder© The Author(s) 2017
pubs.author-urlhttp://arxiv.org/abs/1708.07877v1en_US
pubs.notesNot knownen_US
pubs.publication-statusPublisheden_US
dcterms.dateAccepted2017-07-23en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record