Resultados da pesquisa - "Rewriting systems (Computer science)"

  1. 1
    Imagem da capa

    Term rewriting systems / Terese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors].

    Publicado em 2003
    Livro

    Adic. favoritos
    Na minha lista:
  2. 2
    Imagem da capa

    Generierung von Programmoptimierungen mit Graphersetzungssystemen / Uwe Assmann.

    Publicado em 1996
    Livro

    Adic. favoritos
    Na minha lista:
  3. 3
    Imagem da capa

    String-rewriting systems / Ronald V. Book, Friedrich Otto.

    Publicado em ©1993
    Livro

    Adic. favoritos
    Na minha lista:
  4. 4
    Imagem da capa

    Confluent string rewriting / Matthias Jantzen.

    Publicado em ©1988
    Livro

    Adic. favoritos
    Na minha lista:
  5. 5
    Imagem da capa

    Analytical learning and term-rewriting systems / Philip Laird, Evan Gamble.

    Publicado em 1990
    Livro

    Adic. favoritos
    Na minha lista:
  6. 6
    Imagem da capa

    Term rewriting and all that / Franz Baader and Tobias Nipkow.

    Publicado em 1998
    Livro

    Adic. favoritos
    Na minha lista:
  7. 7
    Imagem da capa

    Canonical equational proofs / Leo Bachmair.

    Publicado em 1991
    Livro

    Adic. favoritos
    Na minha lista:
  8. 8
    Imagem da capa

    Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds.

    Publicado em ©1988
    Livro

    Adic. favoritos
    Na minha lista:
  9. 9
    Imagem da capa

    Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun.

    Publicado em ©1990
    Livro

    Adic. favoritos
    Na minha lista:
  10. 10
    Imagem da capa

    Codeselektion mit regulär gesteuerter Termersetzung / Helmut Emmelmann.

    Publicado em 1994
    Livro

    Adic. favoritos
    Na minha lista:
  11. 11
    Imagem da capa

    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz, ed.

    Publicado em ©1989
    Livro

    Adic. favoritos
    Na minha lista:
  12. 12
    Imagem da capa

    Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud.

    Publicado em ©1985
    Livro

    Adic. favoritos
    Na minha lista:
  13. 13
    Imagem da capa

    Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.).

    Publicado em ©2000
    Livro

    Adic. favoritos
    Na minha lista:
  14. 14
    Imagem da capa

    Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne.

    Publicado em ©1987
    Livro

    Adic. favoritos
    Na minha lista:
  15. 15
    Imagem da capa

    Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book, ed.

    Publicado em ©1991
    Livro

    Adic. favoritos
    Na minha lista:
  16. 16
    Imagem da capa

    Substitutions in dynamics, arithmetics, and combinatorics / N. Pytheas Fogg ; editors, V. Berthé [and others].

    Publicado em ©2002
    Livro

    Adic. favoritos
    Na minha lista:
  17. 17
    Imagem da capa

    Efficient graph rewriting and its implementation / Heiko Dörr.

    Publicado em ©1995
    Livro

    Adic. favoritos
    Na minha lista:
  18. 18
    Imagem da capa

    Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.).

    Publicado em ©1991
    Livro

    Adic. favoritos
    Na minha lista:
  19. 19
    Imagem da capa

    Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter.

    Publicado em 1987
    Livro

    Adic. favoritos
    Na minha lista:
  20. 20
    Imagem da capa

    Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).

    Publicado em 1993
    Livro

    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: