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/lfcs/Beklemishev18
%A Beklemishev, Lev D.
%B LFCS
%D 2018
%E Artëmov, Sergei N.
%E Nerode, Anil
%I Springer
%K dblp
%P 91-106
%T A Universal Algebra for the Variable-Free Fragment of $$RC^$$ RC ∇.
%U http://dblp.uni-trier.de/db/conf/lfcs/lfcs2018.html#Beklemishev18
%V 10703
%@ 978-3-319-72056-2
@inproceedings{conf/lfcs/Beklemishev18,
added-at = {2017-12-31T00:00:00.000+0100},
author = {Beklemishev, Lev D.},
biburl = {https://www.bibsonomy.org/bibtex/2a31cfb6e0472bf2aee29aa0ae996bafb/dblp},
booktitle = {LFCS},
crossref = {conf/lfcs/2018},
editor = {Artëmov, Sergei N. and Nerode, Anil},
ee = {https://doi.org/10.1007/978-3-319-72056-2_6},
interhash = {49111f34d37ce1a930e3593e0b7567e5},
intrahash = {a31cfb6e0472bf2aee29aa0ae996bafb},
isbn = {978-3-319-72056-2},
keywords = {dblp},
pages = {91-106},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:47:43.000+0200},
title = {A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇.},
url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs2018.html#Beklemishev18},
volume = 10703,
year = 2018
}