Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/wollic/Shamkanov11
%A Shamkanov, Daniyar S.
%B WoLLIC
%D 2011
%E Beklemishev, Lev D.
%E de Queiroz, Ruy J. G. B.
%I Springer
%K dblp
%P 228-238
%T Strong Normalization and Confluence for Reflexive Combinatory Logic.
%U http://dblp.uni-trier.de/db/conf/wollic/wollic2011.html#Shamkanov11
%V 6642
%@ 978-3-642-20919-2
@inproceedings{conf/wollic/Shamkanov11,
added-at = {2017-05-25T00:00:00.000+0200},
author = {Shamkanov, Daniyar S.},
biburl = {https://www.bibsonomy.org/bibtex/2d57ee01d2503ab719491835eac1c94ab/dblp},
booktitle = {WoLLIC},
crossref = {conf/wollic/2011},
editor = {Beklemishev, Lev D. and de Queiroz, Ruy J. G. B.},
ee = {https://doi.org/10.1007/978-3-642-20920-8_23},
interhash = {182307b8fd7a879c464aa7797d3af176},
intrahash = {d57ee01d2503ab719491835eac1c94ab},
isbn = {978-3-642-20919-2},
keywords = {dblp},
pages = {228-238},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:01:38.000+0200},
title = {Strong Normalization and Confluence for Reflexive Combinatory Logic.},
url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2011.html#Shamkanov11},
volume = 6642,
year = 2011
}