Canlyniadau Chwilio - "Rewriting systems (Computer science)"

  1. 1
    Delwedd Flaen

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

    Cyhoeddwyd 1990
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  2. 2
    Delwedd Flaen

    Advanced topics in term rewriting / Enno Ohlebusch.

    Cyhoeddwyd ©2002
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  3. 3
    Delwedd Flaen

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

    Cyhoeddwyd ©1993
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  4. 4
    Delwedd Flaen

    Confluent string rewriting / Matthias Jantzen.

    Cyhoeddwyd ©1988
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  5. 5
    Delwedd Flaen

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

    Cyhoeddwyd 1998
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  6. 6
    Delwedd Flaen

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

    Cyhoeddwyd ©1995
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  7. 7
    Delwedd Flaen

    Term rewriting systems / [editors and authors, Marc Bezem, Jan Willem Klop, Roel de Vrijer ; authors, Erik Barendsen [and others]].

    Cyhoeddwyd 2003
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  8. 8
    Delwedd Flaen

    Canonical equational proofs / Leo Bachmair.

    Cyhoeddwyd 1991
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  9. 9
    Delwedd Flaen

    Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 ; revised selec...

    Cyhoeddwyd ©2004
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  10. 10
    Delwedd Flaen

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

    Cyhoeddwyd ©1990
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  11. 11
    Delwedd Flaen

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

    Cyhoeddwyd ©2002
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  12. 12
    Delwedd Flaen

    Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).

    Cyhoeddwyd ©2003
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  13. 13
    Delwedd Flaen

    Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 ; proceedings / Vincent van Oostrom (ed.).

    Cyhoeddwyd ©2004
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  14. 14
    Delwedd Flaen

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

    Cyhoeddwyd ©1987
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  15. 15
    Delwedd Flaen

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

    Cyhoeddwyd 1993
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  16. 16
    Delwedd Flaen

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

    Cyhoeddwyd ©1993
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  17. 17
    Delwedd Flaen

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

    Cyhoeddwyd ©1991
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  18. 18
    Delwedd Flaen

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

    Cyhoeddwyd ©1988
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  19. 19
    Delwedd Flaen

    Term graph rewriting : theory and practice / edited by M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen.

    Cyhoeddwyd ©1993
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  20. 20
    Delwedd Flaen

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

    Cyhoeddwyd ©1988
    Llyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:

Offerynnau Chwilio: