Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Rewriting Techniques and Applications: 15th International...

Main
Computers - Computer Science
Rewriting Techniques and Applications:...

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany in June 2004.

Категории:

Computers - Computer Science

Година:

2004

Издание:

1

Издателство:

Springer-Verlag Berlin Heidelberg

Език:

english

Страници:

315

ISBN 10:

3540259791

ISBN 13:

9783540259794

Серия:

Lecture Notes in Computer Science 3091

Файл:

PDF, 4.30 MB

IPFS:

,

english, 2004

Изтеглянето на тази книга не е възможно поради жалба от притежателя на авторските права

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Може да се интересувате от

Franz Baader, Tobias Nipkow — Term Rewriting and All That

Deepak Kapur (auth.), Harald Ganzinger (eds.) — Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Terese, eds.:, Marc Bezem, Jan Willem Klop, Roel de Vrijer — Term Rewriting Systems

Franz Baader, Tobias Nipkow — Term rewriting and all that

Gilles Dowek (eds.) — Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Santiago Escobar (eds.) — Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.) — Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.) — Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Yoshihito Toyama (auth.), Jürgen Giesl (eds.) — Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.) — Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Patrick Lincoln (auth.), Robert Nieuwenhuis (eds.) — Rewriting Techniques and Applications: 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings

E. Allen Emerson (auth.), Sanjiv Kapoor, Sanjiva Prasad (eds.) — FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings

Natarajan Shankar, Harald Rueß (auth.), Sophie Tison (eds.) — Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

Frédéric Blanqui, Jean-Pierre Jouannaud (auth.), Miki Hermann, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Robert Nieuwenhuis, José Miguel Rivero (auth.), Paliath Narendran, Michael Rusinowitch (eds.) — Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (eds.) — Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings

Claude Kirchner (eds.) — Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

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

Deepak Kapur (auth.), Harald Ganzinger (eds.) — Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.) — Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

William McCune (auth.), Hubert Comon (eds.) — Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.) — Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.) — Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.) — Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Xavier Leroy (auth.), Franz Baader (eds.) — Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Brigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) — Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

Най-често използвани термини