Unification modulo Synchronous Distributivity
type: Distribution
access URL: https://hal.science/hal-00684185
format: HTML
issued: 2026-05-23T00:39:36.700771
modified: 2026-05-23T00:39:36.682585

Unification modulo Synchronous Distributivity
type: Dataset
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: equational-unification
keyword: infoinfo-clcomputer-science-cscomputation-and-language-cscl
keyword: decidability
keyword: intercell-turing-machine
keyword: infoeu-reposemanticsconferenceobject
landing page: Lecture Notes in Artificial Intelligence
description: International audience
issued: 2026-05-23T00:39:36.694796
language: en
modified: 2026-05-23T00:39:36.694802

test_moissonnage_selune
type: Agent