Showing results for inauthor:Ugo Montanari of about 381 books (Page 1) ordered by Relevancy
You can use the Filters to refine your results, or you can use the Categories to discover new books.
loading...
Description: This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section pre...
loading...
Description: This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference ru...
loading...
loading...
Description: This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.
loading...
Description: Continuity of curve digitizations is considered, and it is pointed out that no proposed digitization scheme satisfies continuity requirements. A general definition of digitization scheme is given, having those in the literature as special cases, and it is proved that for practical purposes, no digitization scheme is possible, in which limit curves always have unambiguous digitizations. A weaker de...
loading...
Description: This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.
loading...
loading...
Description: The paper is concerned with the class of 'web grammars', introduced by Pfaltz and Rosenfeld, whose languages are sets of labelled graphs. 9 A slightly modified definition of web grammars is given, in which the rewriting rules can have an applicability condition, and it is proved that in general, this extension does not increase the generative power of the grammar. This extension is useful, however...
loading...
Description: None
loading...