Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PDFs of Isabelle 2014 Workshop Submissions


view this post on Zulip Email Gateway (Aug 19 2022 at 15:41):

From: Christian Sternagel <c.sternagel@gmail.com>
Dear all,

prompted by the interesting "amortized complexity" entry I checked out
the list of submissions to Isabelle 2014 (unfortunately, I was not able
to attend myself; fortunately, the reason was the birth of my daughter ;)).

Anyway, there are many interesting titles and abstracts but not for all
of them I was able to obtain also the workshop paper. Does anybody know
of a complete list with links to PDFs?

cheers

chris


Last updated: Mar 29 2024 at 04:18 UTC