A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Introduction
2010
Journal of symbolic computation
Preserved Fulltext
This year, WING 2010 is affiliated with the IJCAR 2010 conference, and will take place as a satellite workshop of the FLoC 2010 conference in Edinburgh, UK. ...
On the basis of the success of the kick-off WING workshop in 2007, follow-up workshops have been initiated and organized. WING 2009 was held as part of the ETAPS 2009 conference in York, UK. ...
doi:10.1016/j.jsc.2010.06.002
fatcat:5bfwjcy6q5fetdjdaticlnfhmu