Module: ppl/w3ppl Branch: master Commit: 944947af338e2bc74089b0e09330151f0fc9bc7e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=944947af338...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Apr 21 11:31:21 2009 +0200

BagnaraHZ09TRa updated.

---

htdocs/Documentation/BagnaraHZ09TRa.pdf | Bin 311884 -> 312555 bytes htdocs/Documentation/ppl.bib | 3 ++- 2 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/htdocs/Documentation/BagnaraHZ09TRa.pdf b/htdocs/Documentation/BagnaraHZ09TRa.pdf index d4740b9..1a6554d 100644 Binary files a/htdocs/Documentation/BagnaraHZ09TRa.pdf and b/htdocs/Documentation/BagnaraHZ09TRa.pdf differ diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 03d4d3e..3d81fc5 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -940,7 +940,8 @@ Institution = "Dipartimento di Matematica, Universit`a di Parma, Italy", Year = 2009, Note = "Available at \url{http://www.cs.unipr.it/Publications/%7D. - Also published as {\tt arXiv:cs.CG/0904.1783}, + An improved version (typos corrected in statement and proof + of Theorem~6.8) has been published as {\tt arXiv:cs.CG/0904.1783}, available from \url{http://arxiv.org/%7D.", Abstract = "Deciding whether the union of two convex polyhedra is a convex polyhedron is a basic problem in polyhedral