Showing 1 - 20 results of 26 for search '"réécriture."', query time: 0.21s Refine Results
  1. 1
    Efficient graph rewriting and its implementation /
    by Dörr, Heiko, 1962-
    Published 1995
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    eBook
  2. 2
    Canonical equational proofs /
    by Bachmair, Leo
    Published 1991
    Subjects: “...reecriture....”
    Connect to the full text of this electronic book
    eBook
  3. 3
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Published 1995
    Subjects: “...réecriture conditionnelle....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    Term rewriting : French Spring School of Theoretical Computer Scas printed], France, May 17-21, 1993 : advanced course /
    Published 1995
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 5
    Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
    Published 1995
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  6. 6
    Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings /
    Published 2000
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /
    Published 1988
    Subjects: “...Réécriture, Systèmes de (Informatique)...”
    Connect to the full text of this electronic book
    eBook
  8. 8
    Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers /
    Published 1994
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  9. 9
    Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
    Published 1994
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers /
    Published 1995
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 11
    Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
    Published 1995
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  12. 12
    Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /
    Published 2005
    Subjects: “...Réécriture, Systèmes de (Informatique)...”
    Connect to the full text of this electronic book
    eBook
  13. 13
    TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /
    Published 1993
    Subjects: “...reecriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /
    Published 2006
    Subjects: “...Réécriture, Systèmes de (Informatique) Congrès....”
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  15. 15
    Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings /
    Published 1994
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    eBook
  16. 16
    Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings /
    Published 1994
    Subjects: “...reecriture....”
    Connect to the full text of this electronic book
    eBook
  17. 17
    Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings /
    Published 1995
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 18
    Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers /
    Published 1996
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    eBook
  19. 19
    Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
    Published 1998
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 20
    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
    Published 1997
    Subjects: “...réécriture....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search