Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 journals/corr/abs-2009-10246
%A Geibinger, Tobias
%A Tompits, Hans
%B ICLP Technical Communications
%D 2020
%E Ricca, Francesco
%E Russo, Alessandra
%E Greco, Sergio
%E Leone, Nicola
%E Artikis, Alexander
%E Friedrich, Gerhard
%E Fodor, Paul
%E Kimmig, Angelika
%E Lisi, Francesca A.
%E Maratea, Marco
%E Mileo, Alessandra
%E Riguzzi, Fabrizio
%K dblp
%P 178-191
%T Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs325.html#abs-2009-10246
%V 325
@inproceedings{journals/corr/abs-2009-10246,
added-at = {2020-11-07T00:00:00.000+0100},
author = {Geibinger, Tobias and Tompits, Hans},
biburl = {https://www.bibsonomy.org/bibtex/216ab0355e443b3f2608f09630149a2fe/dblp},
booktitle = {ICLP Technical Communications},
crossref = {journals/corr/abs-2009-09158},
editor = {Ricca, Francesco and Russo, Alessandra and Greco, Sergio and Leone, Nicola and Artikis, Alexander and Friedrich, Gerhard and Fodor, Paul and Kimmig, Angelika and Lisi, Francesca A. and Maratea, Marco and Mileo, Alessandra and Riguzzi, Fabrizio},
ee = {https://arxiv.org/abs/2009.10246},
interhash = {7b116371aacac1044d3f921425c64f5e},
intrahash = {16ab0355e443b3f2608f09630149a2fe},
keywords = {dblp},
pages = {178-191},
series = {EPTCS},
timestamp = {2020-11-09T11:36:07.000+0100},
title = {Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs325.html#abs-2009-10246},
volume = 325,
year = 2020
}
