Lecture Notes in Computer Science 5117
|
|
- Carmel Welch
- 6 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 5117 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
2 Andrei Voronkov (Ed.) Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings 13
3 Volume Editor Andrei Voronkov The University of Manchester School of Computer Science Kilburn Building, Oxford Road, Manchester M13 9PL, UK Library of Congress Control Number: CR Subject Classification (1998): F.4, F.3.2, D.3, I.2.2-3, I.1 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2008 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /
4 Preface This volume contains the papers presented at RTA 2008: 19th International Conference on Rewriting Techniques and Applications held July 15 17th in Hagenberg, Austria and organised by the Research Institute on Symbolic Computation. There were 57 submissions. Each submission was reviewed by at least four Programme Committee members. The committee decided to accept 30 papers. The submission and Programme Committee work was organised through the EasyChair system. I thank the Programme Committee members for their very efficient work. My special thanks to Temur Kutsia, Aart Middeldorp, Robert Nieuwenhuis and Maribel Fernandez for their help and advice on many aspects of the RTA organisation and traditions. I would also like to thank RTA General Chair Bruno Buchberger. April 2008 Andrei Voronkov
5 Conference Organisation General Chair Bruno Buchberger (Johannes Kepler University Linz) Programme Chair Andrei Voronkov (University of Manchester) Organising Committee Chair Temur Kutsia (Johannes Kepler University Linz) Programme Committee Maribel Fernández (King s College London) Neil Ghani (University of Nottingham) Jürgen Giesl (RWTH Aachen) Guillem Godoy (Universidad Politécnica de Cataluña) Jean Goubault-Larrecq (ENS Cachan) Tetsuo Ida (University of Tsukuba) Claude Kirchner (INRIA) Konstantin Korovin (University of Manchester) Temur Kutsia (Johannes Kepler University Linz) Aart Middeldorp (University of Innsbruck) Paliath Narendran (University at Albany - SUNY) Robert Nieuwenhuis (Universidad Politécnica de Cataluña) Michaël Rusinowitch (LORIA-INRIA) Aaron Stump (Washington University in St. Louis) Jean-Marc Talbot (Université de Provence) Yoshihito Toyama (Tohoku University) Ralf Treinen (Université Paris Diderot) Hans Zantema (Technische Universiteit Eindhoven) External Reviewers Markus Aderhold Maria Alpuente Thorsten Altenkirch Takahito Aoto Emilie Balland Richard Banach Peter Baumgartner Clara Bertolissi
6 VIII Organisation Hariolf Betz Gavin Bierman Stefan Blom Yohan Boichut Iovka Boneva Guillaume Bonfante Thierry Boy de la Tour Sander Bruggink Serge Burckel Sergiu Bursuc Christophe Calves Benjamin Carle Jacques Chabin Jeremie Chalopin Witold Charatonik James Cheney Yannick Chevalier Yuki Chiba Olaf Chitil Horatiu Cirstea Evelyne Contejean Veronique Cortier Vincent Danos Jeremy Dawson Philippe de Groote Fer-Jan de Vries Stephanie Delaune Kevin Donnelly Dan Dougherty Daniel Dougherty Rachid Echahed Steven Eker Jörg Endrullis Emmanuel Filiot Severine Fratani Laurent Fribourg Carsten Fuhs Thomas Genet Clemens Grabmayer Bernhard Gramlich Yves Guiraud Andrew Haas Makoto Hamana Michael Hanus Hugo Herbelin Nao Hirokawa Clement Houtmann Florent Jacquemard Hélène Kirchner Stefan Kahrs Yukiyoshi Kameyama Yevgeny Kazakov Jeroen Ketema Zurab Khasidashvili Kentaro Kikuchi Vladimir Klebanov Adam Koprowski Martin Korp Sébastien Limet Luigi Liquori Francisco Javier Lopez-Fraguas Salvador Lucas Denis Lugiez Wolfgang Lux Ian Mackie Michael Maher Yitzhak Mandelbaum Claude Marché Mircea Marin Narciso Marti-Oliet Robert McNaughton Catherine Meadows Yasuhiko Minamide Jean-François Monin Pierre-Etienne Moreau Georg Moser Frantisek Mraz Masaki Nakamura Enrica Nicolini Joachim Niehren Naoki Nishida Kazuhiro Ogata Luke Ong David Pichardie Brigitte Pientka Detlef Plump Romain Péchoux Yves RooS Matthias Raffelsieper Pierre Rety
7 Organisation IX Christophe Ringeissen Enric Rodriguez-Carbonell Grigore Rosu Grigore Rosu David Rydeheard Didier Rémy Masahiko Sakai John Sasso Alexis Saurin Manfred Schmidt-Schauss Peter Schneider-Kamp Helmut Seidl Paula Severi Francois-Regis Sinot Christian Sternagel Christoph Sticksel Stephan Swiderski Luc Ségoufin Géraud Sénizergues Toshinori Takai Carolyn Talcott Hendrik Tews René Thiemann Rene Thiemann Wolfgang Thomas Sophie Tison Ashish Tiwari Christian Urban Camille Vacher Steffen van Bakel Vincent van Oostrom Femke van Raamsdonk Lionel Vaux Alicia Villanueva Eelco Visser Uwe Waldmann Johannes Waldmann Christoph Weidenbach Edwin Westbrook Freek Wiedijk Toshiyuki Yamada
8 Table of Contents Modular Termination of Basic Narrowing... 1 María Alpuente, Santiago Escobar, and José Iborra Linear-Algebraic λ-calculus: Higher-Order, Encodings, and Confluence Pablo Arrighi and Gilles Dowek Term-Graph Rewriting Via Explicit Paths Emilie Balland and Pierre-Etienne Moreau Finer Is Better: Abstraction Refinement for Rewriting Approximations Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko A Needed Rewriting Strategy for Data-Structures with Pointers Rachid Echahed and Nicolas Peltier Effectively Checking the Finite Variant Property Santiago Escobar, José Meseguer, and Ralf Sasse Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures Stephan Falke and Deepak Kapur Maximal Termination Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, and Harald Zankl Usable Rules for Context-Sensitive Rewrite Systems Raúl Gutiérrez, Salvador Lucas, and Xavier Urbain Combining Equational Tree Automata over AC and ACI Theories Joe Hendrix and Hitoshi Ohsaki Closure of Hedge-Automata Languages by Hedge Rewriting Florent Jacquemard and Michael Rusinowitch On Normalisation of Infinitary Combinatory Reduction Systems Jeroen Ketema Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems Yoshiharu Kojima and Masahiko Sakai
9 XII Table of Contents Arctic Termination... Below Zero Adam Koprowski and Johannes Waldmann Logics and Automata for Totally Ordered Trees Marco Kuhlmann and Joachim Niehren Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks Yves Lafont and Pierre Rannou Nominal Unification from a Higher-Order Perspective Jordi Levy and Mateu Villaret Functional-Logic Graph Parser Combinators Steffen Mazanek and Mark Minas Proving Quadratic Derivational Complexities Using Context Dependent Interpretations Georg Moser and Andreas Schnabl Tree Automata for Non-linear Arithmetic Naoki Kobayashi and Hitoshi Ohsaki Confluence by Decreasing Diagrams Converted Vincent van Oostrom A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case Manfred Schmidt-Schauss and Elena Machkasova Root-Labeling Christian Sternagel and Aart Middeldorp Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities Sorin Stratulat Deciding Innermost Loops René Thiemann, Jürgen Giesl, and Peter Schneider-Kamp Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations Yoshihito Toyama Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting Kazunori Ueda Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof Christian Urban and Bozhi Zhu
10 Table of Contents XIII Reduction Under Substitution Jörg Endrullis and Roel de Vrijer Normalization of Infinite Terms Hans Zantema Author Index
Lecture Notes in Computer Science 4409
Lecture Notes in Computer Science 4409 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7007
Lecture Notes in Computer Science 7007 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3511
Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4728
Lecture Notes in Computer Science 4728 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4098
Lecture Notes in Computer Science 4098 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationRDP = RTA + TLCA. Program
RDP = RTA + TLCA International Conference on Rewriting, Deduction, and Programming TU Eindhoven, June 23 - June 28, 2013 Program RDP 2013 consists of the 24th International Conference, on Rewriting Techniques
More informationLecture Notes in Computer Science 2051 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2051 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Aart Middeldorp (Ed.) Rewriting
More informationLecture Notes in Computer Science 4454
Lecture Notes in Computer Science 4454 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3819
Lecture Notes in Computer Science 3819 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 2155
Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,
More informationLecture Notes in Computer Science 6663
Lecture Notes in Computer Science 6663 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4797
Lecture Notes in Computer Science 4797 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 3176
Lecture Notes in Artificial Intelligence 3176 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Olivier Bousquet Ulrike von Luxburg Gunnar Rätsch (Eds.) Advanced
More informationLecture Notes in Computer Science 7480
Lecture Notes in Computer Science 7480 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7342
Lecture Notes in Computer Science 7342 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More information22nd International Conference on Automated Deduction (CADE-22) McGill University, Montreal, Canada. Conference Schedule
22nd International Conference on Automated Deduction (CADE-22) McGill University, Montreal, Canada Conference Schedule CADE-22 Conference Schedule Tuesday, August 4 08:55 9:00 Welcome Brigitte Pientka
More informationLecture Notes in Computer Science 6037
Lecture Notes in Computer Science 6037 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5438
Lecture Notes in Computer Science 5438 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5004
Lecture Notes in Computer Science 5004 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5083
Lecture Notes in Computer Science 5083 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4214
Lecture Notes in Computer Science 4214 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 10644
Lecture Notes in Computer Science 10644 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4401
Lecture Notes in Computer Science 4401 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9804
Lecture Notes in Computer Science 9804 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationCESAM Certified Members
A. Franck 15/12/2016 CESAM Confirmed System Architect A. Julien 22/01/2015 CESAM Confirmed System Architect A. Cyrille 14/12/2017 CESAM Confirmed System Architect A. Eva 13/06/2017 CESAM Confirmed System
More informationResearch Reports ESPRIT
Research Reports ESPRIT Project 393. ACORD. Vol. 1 Edited in cooperation with the Commission of the European Communities G. G. Bes T. Guillotin (Eds.) A Natural Language and Graphics Interface Resu Its
More informationLecture Notes in Computer Science 5474
Lecture Notes in Computer Science 5474 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 8036
Lecture Notes in Computer Science 8036 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationLecture Notes in Computer Science 7137
Lecture Notes in Computer Science 7137 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5671
Lecture Notes in Computer Science 5671 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4449
Lecture Notes in Computer Science 4449 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4883
Lecture Notes in Computer Science 4883 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6647
Lecture Notes in Computer Science 6647 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1138 Advisory Board: W. Brauer D. Gries J. Stoer Jacques Calmet John A. Campbell Jochen Pfalzgraf (Eds.) Artificial
More informationGerman Yearbook on Business History 1986
German Yearbook on Business History 1986 German Yearbook on Business History 1986 Edited by the German Society for Business History, Cologne in Cooperation with the Institute for Bank-Historical Research,
More informationLecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer
Lecture Notes in Computer Science 516 Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer S. Kaplan M. Okada (Eds.) Conditional and Typed Rewriting Systems 2nd International
More informationLecture Notes in Computer Science 7140
Lecture Notes in Computer Science 7140 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSpringer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo
The Mathematical World ofwalter Noll Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo Yurie A.Ignatieff The Mathematical World of Walter Noll
More informationLecture Notes in Computer Science 3527
Lecture Notes in Computer Science 3527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6690
Lecture Notes in Computer Science 6690 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationLecture Notes in Computer Science 8341
Lecture Notes in Computer Science 8341 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationDetection of Intrusions and Malware, and Vulnerability Assessment
Ulrich Flegel Evangelos Markatos William Robertson (Eds.) LNCS 7591 Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012 Heraklion, Crete, Greece,
More informationLecture Notes in Computer Science 6035
Lecture Notes in Computer Science 6035 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7679
Lecture Notes in Computer Science 7679 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Enrico Gregori Giuseppe Anastasi Stefano
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 835 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis
More informationLecture Notes in Computer Science 7149
Lecture Notes in Computer Science 7149 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3507
Lecture Notes in Computer Science 3507 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 4327
Lecture Notes in Artificial Intelligence 4327 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science (Eds.) Declarative Agent Languages and Technologies IV 4th International
More informationLecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Eerke A. Boiten Bernhard M ller (Eds.)
More informationLecture Notes in Computer Science 7734
Lecture Notes in Computer Science 7734 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 8031
Lecture Notes in Computer Science 8031 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationProgress in Mathematics Volume 95
Progress in Mathematics Volume 95 Series Editors J. Oesterle A. Weinstein Representation Theory of Finite Groups and Finite-Dimensional Algebras Proceedings of the Conference at the University of Bielefeld
More informationLecture Notes in Computer Science 6705
Lecture Notes in Computer Science 6705 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5581
Lecture Notes in Computer Science 5581 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5587
Lecture Notes in Computer Science 5587 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6084
Lecture Notes in Computer Science 6084 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3925
Lecture Notes in Computer Science 3925 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7744
Lecture Notes in Computer Science 7744 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4355
Lecture Notes in Computer Science 4355 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4006
Lecture Notes in Computer Science 4006 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationWelcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th.
Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. 1 Raimund Dachselt TU Dresden, Germany Organizers Gerhard Fischer
More informationLecture Notes in Computer Science 3061
Lecture Notes in Computer Science 3061 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board Takeo Kanade Carnegie Mellon
More informationLecture Notes in Computer Science 7309
Lecture Notes in Computer Science 7309 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 6517
Lecture Notes in Artificial Intelligence 6517 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science FoLLI Publications on Logic, Language and Information Editors-in-Chief
More informationEmotional Engineering Volume 5
Emotional Engineering Volume 5 Editor Emotional Engineering Volume 5 123 Editor Keio University Minato, Tokyo Japan ISBN 978-3-319-53194-6 ISBN 978-3-319-53195-3 (ebook) DOI 10.1007/978-3-319-53195-3 Library
More informationInternational Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France
International Conference on Image and Signal Processing July 2-4, 2018, Cherbourg, France ICISP in numbers Stats. From 122 records (full papers), Each paper has been reviewed at least by 2 experts 58 papers
More informationLecture Notes in Computer Science 7896
Lecture Notes in Computer Science 7896 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationFractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color
Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona
More informationLecture Notes in Computer Science 6172
Lecture Notes in Computer Science 6172 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6371
Lecture Notes in Computer Science 6371 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9211
Lecture Notes in Computer Science 9211 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationArild Stubhaug. Gösta Mittag-Leffler. AManofConviction. Translated by Tiina Nunnally
Gösta Mittag-Leffler Arild Stubhaug Gösta Mittag-Leffler AManofConviction Translated by Tiina Nunnally Arild Stubhaug Department of Mathematics University of Oslo Blindern Oslo Norway arilds@math.uio.no
More informationLecture Notes in Computer Science 6092
Lecture Notes in Computer Science 6092 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6815
Lecture Notes in Computer Science 6815 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9635
Lecture Notes in Computer Science 9635 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 1328 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis
More informationLecture Notes in Computer Science 2664 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2664 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Michael Leuschel (Ed.) Logic Based Program
More informationLecture Notes in Computer Science 9596
Lecture Notes in Computer Science 9596 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6707
Lecture Notes in Computer Science 6707 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationCurriculum Vitae for Marlis Buchman
Curriculum Vitae for Marlis Buchman AREAS OF SPECIALIZATION Sociology of the Life Course (including Sociology of Youth) Social Change Social Stratification and Mobility Sociology of Work, Occupations,
More informationLecture Notes in Computer Science 6697
Lecture Notes in Computer Science 6697 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 7364
Lecture Notes in Artificial Intelligence 7364 Subseries of Lecture Notes in Computer Science LNAI Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University,
More informationLecture Notes in Computer Science 4935
Lecture Notes in Computer Science 4935 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9249
Lecture Notes in Computer Science 9249 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationA Bibliography of Books about REDUCE
A Bibliography of Books about REDUCE Anthony C. Hearn The RAND Corporation Santa Monica, CA 90406-2138 USA 14 October 2017 Version 2.11 Abstract This bibliography records books and technical reports written
More informationLecture Notes in Computer Science 4498
Lecture Notes in Computer Science 4498 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5284
Lecture Notes in Computer Science 5284 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6204
Lecture Notes in Computer Science 6204 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationShooting centre - 1 Avenue du Bois Robin, La Baule Escoublac
Thurdsay 24th May- Qualifications Pistol shooting The 6 first women of qualifications stage will be qualified for finals. AS IGN DURET Anne France F Association Sportive Credit Mutuel - CIC GRIGORE Cristina
More informationLecture Notes in Computer Science 6527
Lecture Notes in Computer Science 6527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationDr.-Ing. Serge Autexier Curriculum Vitae
Dr.-Ing. Serge Autexier Curriculum Vitae Senior Researcher Head Bremen Ambient Assisted Living Lab RD Cyber-Physical Systems Deutsches Forschungszentrum für künstliche Intelligenz (DFKI, Bremen Address
More informationLecture Notes in Computer Science 6182
Lecture Notes in Computer Science 6182 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5423
Lecture Notes in Computer Science 5423 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 10852
Lecture Notes in Computer Science 10852 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7189
Lecture Notes in Computer Science 7189 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationAs Paradigm? PROGRAM. International Symposium in Honor of 50 years The Social Construction of Reality April 2016 University of Vienna
As Paradigm? International Symposium in Honor of 50 years The Social Construction of Reality 28 30 April 2016 University of Vienna Fakultät für Sozial wissenschaften Institut für Soziologie PROGRAM Welcome
More informationThe Analytic Hierarchy Process. M. En C. Eduardo Bustos Farías
The Analytic Hierarchy Process M. En C. Eduardo Bustos Farías Outline of Lecture Summary MADM ranking methods Examples Analytic Hierarchy Process (AHP) Examples pairwise comparisons normalization consistency
More informationLecture Notes in Computer Science 5203
Lecture Notes in Computer Science 5203 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More information[AMS89] [Art96] [AZ94] [AZ95a] [AZ95b] [BD86] [Bel95] [BHK89] J. Avenhaus, K.E. Madlener, and J. Steinbach. COMTES { An experimental environment for t
[AG96a] [AG96b] [AG96c] [AG96d] [AG97a] [AG97b] T. Arts and J. Giesl. Termination of constructor systems. Technical Report UU-CS-1996-07, Utrecht University, PO Box 80.089, 3508 TB Utrecht, February 1996.
More information