Inproceedings,
Unification via se-style of explicit substitution.
M. Ayala-Rincón, and F. Kamareddine.PPDP, page 163-174. ACM, (2000)
Meta data
- BibTeX key
- conf/ppdp/Ayala-RinconK00
- entry type
- inproceedings
- booktitle
- PPDP
- year
- 2000
- pages
- 163-174
- publisher
- ACM
- crossref
- conf/ppdp/2000
- ee
- https://doi.org/10.1145/351268.351288
- isbn
- 1-58113-265-4
- url
- http://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#Ayala-RinconK00
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppdp/Ayala-RinconK00
%A Ayala-Rincón, Mauricio
%A Kamareddine, Fairouz
%B PPDP
%D 2000
%E Gabbrielli, Maurizio
%E Pfenning, Frank
%I ACM
%K
%P 163-174
%T Unification via se-style of explicit substitution.
%U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#Ayala-RinconK00
%@ 1-58113-265-4
@inproceedings{conf/ppdp/Ayala-RinconK00,
added-at = {2023-12-12T21:20:34.000+0100},
author = {Ayala-Rincón, Mauricio and Kamareddine, Fairouz},
biburl = {https://www.bibsonomy.org/bibtex/2e358860dca420601c5dcfea20ba66d6a/admin},
booktitle = {PPDP},
crossref = {conf/ppdp/2000},
editor = {Gabbrielli, Maurizio and Pfenning, Frank},
ee = {https://doi.org/10.1145/351268.351288},
interhash = {3cb9ff7f9daaf3dea51a5744b8506606},
intrahash = {e358860dca420601c5dcfea20ba66d6a},
isbn = {1-58113-265-4},
keywords = {},
pages = {163-174},
publisher = {ACM},
timestamp = {2023-12-12T21:20:34.000+0100},
title = {Unification via se-style of explicit substitution.},
url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#Ayala-RinconK00},
year = 2000
}