Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: José Meseguer (auth.), Leo Bachmair (eds.)
Canonical Equational Proofs
  • PDF
  • English
  • Year: 1991
  • Author: Leo Bachmair (auth.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
search