Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/japll/MouraAK08
%A de Moura, Flávio L. C.
%A Ayala-Rincón, Mauricio
%A Kamareddine, Fairouz
%D 2008
%J J. Appl. Log.
%K
%N 1
%P 72-108
%T Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.
%U http://dblp.uni-trier.de/db/journals/japll/japll6.html#MouraAK08
%V 6
@article{journals/japll/MouraAK08,
added-at = {2023-12-13T03:57:28.000+0100},
author = {de Moura, Flávio L. C. and Ayala-Rincón, Mauricio and Kamareddine, Fairouz},
biburl = {https://www.bibsonomy.org/bibtex/279b1de8a69d34262b14f0089a4a6eaa4/admin},
ee = {https://www.wikidata.org/entity/Q58001481},
interhash = {907c53bb1c2e88710cbc438fd5e3d1ce},
intrahash = {79b1de8a69d34262b14f0089a4a6eaa4},
journal = {J. Appl. Log.},
keywords = {},
number = 1,
pages = {72-108},
timestamp = {2023-12-13T03:57:28.000+0100},
title = {Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.},
url = {http://dblp.uni-trier.de/db/journals/japll/japll6.html#MouraAK08},
volume = 6,
year = 2008
}