MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/Author,Editor

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
YearTitleType
Show details for Matthews, SeánMatthews, Seán
Show details for Simpson, AlexSimpson, Alex
Show details for Max-Planck-Institut für InformatikMax-Planck-Institut für Informatik
Show details for Max-Planck-Institut für Informatik [http://www.mpi-sb.mpg.de/]Max-Planck-Institut für Informatik [http://www.mpi-sb.mpg.de/]
Show details for Max-Planck-Institut für Informatik [http://www.springer.de/]Max-Planck-Institut für Informatik [http://www.springer.de/]
Show details for Microsoft Research, Microsoft CorporationMicrosoft Research, Microsoft Corporation
Hide details for MIT PressMIT Press
Show details for Bachmair, LeoBachmair, Leo
Show details for Barth, PeterBarth, Peter
Show details for Basin, David A.Basin, David A.
Show details for Bockmayr, AlexanderBockmayr, Alexander
Show details for Bundy, AlanBundy, Alan
Show details for Ganzinger, HaraldGanzinger, Harald
Show details for Hanus, MichaelHanus, Michael
Show details for Hustadt, UllrichHustadt, Ullrich
Show details for Kraan, InaKraan, Ina
Show details for Krishna Rao, M. R. K.Krishna Rao, M. R. K.
Show details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
Show details for Podelski, AndreasPodelski, Andreas
Show details for Siekmann, Jörg H.Siekmann, Jörg H.
Show details for Smolka, GertSmolka, Gert
Show details for Stuber, JürgenStuber, Jürgen
Show details for Morgan KaufmannMorgan Kaufmann
Show details for Morgan Kaufmann [http://www.mkp.com/]Morgan Kaufmann [http://www.mkp.com/]
Show details for NarosaNarosa
Show details for NASA Ames Research CenterNASA Ames Research Center
Show details for nonenone
Show details for North-Holland Publishing Co.North-Holland Publishing Co.
Show details for Ohmsha LtdOhmsha Ltd
Show details for OldenbourgOldenbourg

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)