This book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects and presents a new geometric language for the study o

This book constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislav

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive S

This book deals with fractal geometries that have features similar to ones of ordinary Euclidean spaces, while at the same time being quite different from Eucli

SBIA, the Brazilian Symposium on Arti?cial Intelligence, is a biennial event intended to be the main forum of the AI community in Brazil. The SBIA 2004 was the