Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.

Graph grammars. --- Rewriting systems (Computer science) --- Software engineering. --- Multitasking (Computer science) --- Computer simulation. --- Computer software --- Computer programming. --- Systèmes de réécriture (Informatique) --- Génie logiciel --- Simulation par ordinateur --- Logiciels --- Programmation (Informatique) --- Verification. --- Vérification --- Algebra --- Computer Science --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Graph theory. --- Computer science --- Mathematics. --- Montanari, U. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Graph theory --- Graphs, Theory of --- Theory of graphs --- Extremal problems --- Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Combinatorial analysis --- Topology --- Montanari, Ugo --- Information theory. --- Logic design. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics