Unification modulo ACUI plus Homomorphisms/Distributivity

19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003, Proceedings

Data and Resources

Additional Info

Field Value
Source Automated Deduction – CADE-19
Author Anantharaman, Siva, Narendran, Paliath, Rusinowitch, Michaël
Maintainer CCSD
Last Updated May 11, 2026, 19:02 (UTC)
Created May 11, 2026, 19:02 (UTC)
Identifier hal-00080670
Language en
contributor Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) ; Université d'Orléans (UO)-Ecole Nationale Supérieure d'Ingénieurs de Bourges
creator Anantharaman, Siva
date 2003-05-11T00:00:00
harvest_object_id a33dcdff-458f-49cd-83f8-e683d94f3f1a
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-11-04T00:00:00
set_spec type:COMM