Frontiers of combining systems ; 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.