Algebra and Coalgebra in Computer Science [E-Book] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings  

Fiadeiro, José Luis.
2005

Term Rewriting and Applications (vol. # 3467) [E-Book] / 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings  

Giesl, Jürgen.
2005

Global Optimization and Constraint Satisfaction [E-Book] / Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers  

Jermann, Christophe.
2005

Recent Trends in Algebraic Development Techniques [E-Book] / 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers  

Fiadeiro, José Luiz.
2005