In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …
German Conference on Multiagent System Technologies (MATES-2005), September 11-13, Koblenz, Germany, Lecture Notes in Artificial Intelligence (LNAI), …