Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/acta/OttoZ91
%A Otto, Friedrich
%A Zhang, Louxin
%D 1991
%J Acta Inf.
%K dblp
%N 5
%P 477-510
%T Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class.
%U http://dblp.uni-trier.de/db/journals/acta/acta28.html#OttoZ91
%V 28
@article{journals/acta/OttoZ91,
added-at = {2012-09-23T00:00:00.000+0200},
author = {Otto, Friedrich and Zhang, Louxin},
biburl = {https://www.bibsonomy.org/bibtex/2703301ca3a0cc18a4557579b11bcd232/dblp},
ee = {http://dx.doi.org/10.1007/BF01178585},
interhash = {59982120863d37bb93bb71e73029c468},
intrahash = {703301ca3a0cc18a4557579b11bcd232},
journal = {Acta Inf.},
keywords = {dblp},
number = 5,
pages = {477-510},
timestamp = {2012-09-25T11:34:30.000+0200},
title = {Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class.},
url = {http://dblp.uni-trier.de/db/journals/acta/acta28.html#OttoZ91},
volume = 28,
year = 1991
}