Filters








1 Hit in 1.6 sec

Introduction

Martin Giese, Andrew Ireland, Laura Kovács
2010 Journal of symbolic computation  
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