Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /

समान संसाधन

• Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
  द्वारा: José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
  प्रकाशित: (2005, c2005)
• Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /
  द्वारा: Francesco Parisi Presicce
  प्रकाशित: (1998, c1998)
• Recent Trends in Algebraic Development Techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
  द्वारा: José Luiz Fiadeiro
  प्रकाशित: (1999, c1999)
• Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
  द्वारा: José Luiz Fiadeiro, Pierre-Yves Schobbens
  प्रकाशित: (2007, c2007)
• Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
  द्वारा: Narciso Martí-Oliet, Miguel Palomino
  प्रकाशित: (2013, c2013)