E-unification by means of tree tuple synchronized grammars
type: Dataset
description: International audience
issued: 2026-05-06T03:30:14.894253
language: en
modified: 2026-05-06T03:30:14.894258
contact point: Organization
  fn: CCSD
keyword: decidability
keyword: e-unification
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-dmcomputer-science-csdiscrete-mathematics-csdm
keyword: journal-articles
keyword: narrowing
keyword: tree-languages
landing page: 1462-7264

E-unification by means of tree tuple synchronized grammars
type: Distribution
format: HTML
issued: 2026-05-06T03:30:14.911455
modified: 2026-05-06T03:30:14.885109
access URL: https://inria.hal.science/hal-00955691

test_moissonnage_selune
type: Agent