Relational methods in computer science：8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers

Corporate Authors: International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont; European Cooperation in the Field of Scientific and Technical Research Organization. COST Action 274 TARSKI Project. Workshop (2005 St. Catharines, Ont.); International Workshop on Applications of Kleene Algebra 2005 St. Catharines, Ont.)
Group Author: Düntsch Ivo; MacCaull Wendy; Winter Michael, Ph. D
Published: Springer,
Publication Dates: c2006.
Call Number: TP3-532/R382/2005