English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

. We consider the problem of solving equations over k-arytrees. Here an equation is a pair of labeled ff-ary trees, where ff is afunction associating an arity to each label. A solution to an equation isa morphism from ff-ary trees to k-ary trees that maps the left and righthand side of the equation to the same k-ary tree.This problem is a generalization of the word unification problem posed byA. Markov in the fifties, which corresponds to the case k=1, (in this casealso the arity...

An algorithm for the solution of tree equations