Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

LNCS 4533 - Term Rewriting and Applications (Frontmatter...

Main
LNCS 4533 - Term Rewriting and...

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Franz Baader [Franz Baader]

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Term Rewriting and Applications

Año:

2009

Idioma:

spanish

ISBN 10:

3540734473

ISBN 13:

9783540734475

Archivo:

PDF, 5.46 MB

IPFS:

,

spanish, 2009

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

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

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

Natarajan Shankar, Harald Rueß (auth.), Sophie Tison (eds.) — Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 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

José Meseguer (auth.), Leo Bachmair (eds.) — Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. 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

Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.) — Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Términos más frecuentes