hal-00684185, version 1

Unification modulo Synchronous Distributivity

Siva Anantharaman (, ) ¹, Serdar Erbatur () ², Christopher Lynch () ^a, 3, Paliath Narendran () ², Michael Rusinowitch () ⁴

IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning) 7364 (2012) 14--29

• a –  Clarkson University, Potsdam, NY (USA)
• 1 :  Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
• http://www.univ-orleans.fr/lifo/
  Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2 France
• 2 :  University at Albany
• http://www.cs.albany.edu
  State university of New York 1400 Washington Avenue - Albany, NY 12222 États-Unis
• 3 :  Computer Science Department [Potsdam NY]
• http://www.clarkson.edu
  Clarkson University, Potsdam NY (USA) Clarkson University 8 Clarkson Ave. Potsdam, New York 13699 États-Unis
• 4 :  CASSIS (INRIA Nancy - Grand Est / LORIA / LIFC)
• 
  Université de Lorraine – Université de Franche-Comté – CNRS : FRE2661 – INRIA France

Références bibliographiques

• Type de publication : Communications avec actes
• Domaine : Informatique/Informatique et langage
• Titre : Unification modulo Synchronous Distributivity
• Résumé : Unification modulo the theory defined by a single equation which specifies that a binary operator distributes synchronously over another binary operator is shown to be undecidable. It is the simplest known theory, to our knowledge, for which unification is undecidable: it has only one defining axiom and moreover, every congruence class is finite (so, the matching problem is decidable).
• Langue du texte
  intégral : Anglais
• Date de production,
  écriture : 01/2012
• Titre de l'ouvrage : Lecture Notes in Artificial Intelligence
• Audience : internationale
• Date de publication : 06/2012
• Volume : 7364
• Page, identifiant, ... : 14--29
• Éditeur commercial : Springer-Verlag, Berlin, Heidelberg
• Éditeur scientifique : Gramlich, B. and Miller, D. and Sattler. U
• Titre de la conférence : IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning)
• Date de la conférence : 26/06/2012
• Date de la conférence (fin) : 29/06/2012
• Ville : Manchester
• Pays : Royaume-Uni
• Mots Clés : Equational unification – Intercell Turing machine – Decidability

• hal-00684185, version 1
• http://hal.archives-ouvertes.fr/hal-00684185
• oai:hal.archives-ouvertes.fr:hal-00684185
• Contributeur : Siva Anantharaman <>
• Soumis le : Vendredi 30 Mars 2012, 17:36:37
• Dernière modification le : Lundi 8 Avril 2013, 13:40:47