V. Marek, A. Nerode, и J. Remmel. Structural Complexity and Recursion-theoretic methods in Logic-Programming, стр. 69-92. Mathematical Sciences Institute, Cornell University, (1992)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/iclp/MarekNR92a
%A Marek, V. Wiktor
%A Nerode, Anil
%A Remmel, Jeffrey B.
%B Structural Complexity and Recursion-theoretic methods in Logic-Programming
%D 1992
%E Blair, Howard A.
%E Marek, V. Wiktor
%E Nerode, Anil
%E Remmel, Jeffrey B.
%I Mathematical Sciences Institute, Cornell University
%K dblp
%P 69-92
%T Rule Systems and Well-Orderings.
%U http://dblp.uni-trier.de/db/conf/iclp/iclp92-w1.html#MarekNR92a
@inproceedings{conf/iclp/MarekNR92a,
added-at = {2013-12-02T00:00:00.000+0100},
author = {Marek, V. Wiktor and Nerode, Anil and Remmel, Jeffrey B.},
biburl = {https://www.bibsonomy.org/bibtex/25df185a05fda6696e1507efed2b0fef3/dblp},
booktitle = {Structural Complexity and Recursion-theoretic methods in Logic-Programming},
crossref = {conf/iclp/1992w1},
editor = {Blair, Howard A. and Marek, V. Wiktor and Nerode, Anil and Remmel, Jeffrey B.},
interhash = {8e927232c037b382f272bd899738810f},
intrahash = {5df185a05fda6696e1507efed2b0fef3},
keywords = {dblp},
pages = {69-92},
publisher = {Mathematical Sciences Institute, Cornell University},
timestamp = {2018-06-22T11:50:02.000+0200},
title = {Rule Systems and Well-Orderings.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp92-w1.html#MarekNR92a},
year = 1992
}