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/lpar/HetzlLWP08
%A Hetzl, Stefan
%A Leitsch, Alexander
%A Weller, Daniel
%A Paleo, Bruno Woltzenlogel
%B LPAR Workshops
%D 2008
%E Rudnicki, Piotr
%E Sutcliffe, Geoff
%E Konev, Boris
%E Schmidt, Renate A.
%E Schulz, Stephan
%I CEUR-WS.org
%K dblp
%T Transforming and Analyzing Proofs in the CERES-System.
%U http://dblp.uni-trier.de/db/conf/lpar/lpar2008w.html#HetzlLWP08
%V 418
@inproceedings{conf/lpar/HetzlLWP08,
added-at = {2019-05-28T00:00:00.000+0200},
author = {Hetzl, Stefan and Leitsch, Alexander and Weller, Daniel and Paleo, Bruno Woltzenlogel},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/283dbe01cff62a7006785f92d3623f230/dblp},
booktitle = {LPAR Workshops},
crossref = {conf/lpar/2008w},
editor = {Rudnicki, Piotr and Sutcliffe, Geoff and Konev, Boris and Schmidt, Renate A. and Schulz, Stephan},
ee = {http://ceur-ws.org/Vol-418/paper6.pdf},
interhash = {15c71f4f979858589011300229482e7d},
intrahash = {83dbe01cff62a7006785f92d3623f230},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2019-09-27T12:46:38.000+0200},
title = {Transforming and Analyzing Proofs in the CERES-System.},
url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2008w.html#HetzlLWP08},
volume = 418,
year = 2008
}