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/pxtp/DunchevLLRRWP12
%A Dunchev, Cvetan
%A Leitsch, Alexander
%A Libal, Tomer
%A Riener, Martin
%A Rukhaia, Mikheil
%A Weller, Daniel
%A Paleo, Bruno Woltzenlogel
%B PxTP
%D 2012
%E Pichardie, David
%E Weber, Tjark
%I CEUR-WS.org
%K dblp
%P 51-57
%T System Feature Description: Importing Refutations into the GAPT Framework.
%U http://dblp.uni-trier.de/db/conf/pxtp/pxtp2012.html#DunchevLLRRWP12
%V 878
@inproceedings{conf/pxtp/DunchevLLRRWP12,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Dunchev, Cvetan and Leitsch, Alexander and Libal, Tomer and Riener, Martin and Rukhaia, Mikheil and Weller, Daniel and Paleo, Bruno Woltzenlogel},
biburl = {https://www.bibsonomy.org/bibtex/21f0cf867584754e96108b611a20a8248/dblp},
booktitle = {PxTP},
crossref = {conf/pxtp/2012},
editor = {Pichardie, David and Weber, Tjark},
ee = {https://ceur-ws.org/Vol-878/paper4.pdf},
interhash = {38deb3e2a3607e23429f6e9bac0a091a},
intrahash = {1f0cf867584754e96108b611a20a8248},
keywords = {dblp},
pages = {51-57},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-09T09:46:14.000+0200},
title = {System Feature Description: Importing Refutations into the GAPT Framework.},
url = {http://dblp.uni-trier.de/db/conf/pxtp/pxtp2012.html#DunchevLLRRWP12},
volume = 878,
year = 2012
}