Unification and Anti-unification modulo Equational Theories

1 pages•Published: July 29, 2013

Abstract

Automated reasoning modulo an equational theory E is a fundamental technique in many applications. In this talk, we would present a narrowing-based equational unification algorithm for theories satisfying the finite variant property. We also talk about equational generalization, also called anti-unification

In: Konstantin Korovin and Barbara Morawska (editors). UNIF 2013. 27th International Workshop on Unification, vol 19, pages 1.

Links:	https://easychair.org/publications/paper/gt9
	https://doi.org/10.29007/65sh

BibTeX entry

@inproceedings{UNIF2013:Unification_Anti_unification_modulo,
  author    = {Santiago Escobar},
  title     = {Unification and Anti-unification modulo Equational Theories},
  booktitle = {UNIF 2013. 27th International Workshop on Unification},
  editor    = {Konstantin Korovin and Barbara Morawska},
  series    = {EPiC Series in Computing},
  volume    = {19},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/gt9},
  doi       = {10.29007/65sh},
  pages     = {1},
  year      = {2013}}

Download PDF Open PDF in browser