[isabelle] AFP in DBLP



The DBLP now indexes AFP articles:
http://dblp.uni-trier.de/db/journals/afp/

In particular, if you have ever published anything in the AFP, take a
look at your DBLP page :-)

Kudos to Michael Ley!

Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.