Rewriting techniques and applications : :: SCD d'Orléans

Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	RTA 2003 :Valencia, Spain
Diğer Yazarlar:	Nieuwenhuis, Robert (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 2706
Konular:	Informatique Algorithmes Systèmes de réécriture (informatique) Ordinateurs Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Rewriting techniques and applications, 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003, proceedings, Robert Nieuwenhuis (ed.), Berlin, Springer, 2003, 1 vol. (XI-514 p.), Lecture notes in computer science, 3-540-40254-3 • Rewriting Techniques and Applications, Texte imprimé, 9783662214602

Benzer Materyaller

Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2 5, 1997 : proceedings

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Rewriting techniques and applications : ; proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings

Rewriting techniques and applications : 4th International Conference, RTA-91 Como, Italy, April 10 12, 1991 : proceedings

Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27 30, 1996 : proceedings

Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA April 3 5, 1989 : proceedings

Rewriting techniques and applications : Dijon, France, May 20 22, 1985

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13 15, 1994 : proceedings

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course
Yazar:: Comon-Lundh, Hubert, 1957-...., auteur en informatique

Advances in cryptology - ASIACRYPT 2003 : 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 December 4, 2003 : proceedings

Term rewriting and all that
Yazar:: Baader, Franz, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Information security : 6th international conference, ISC 2003, Bristol, UK, October 1-3, 2003 : proceedings

Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Advances in cryptology - EUROCRYPT 2003 : [22th] International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003 : proceedings

Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10 1992 : proceedings

Progress in cryptology - INDOCRYPT 2003 : 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003 : proceedings

Applications of graph transformations with industrial relevance : Second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers

Advances in cryptology - EUROCRYPT 96 : [14th] International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12 16, 1996 : proceedings

Information and communications security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : proceedings

Information security and cryptology : ICISC 2003 : 6th international conference, Seoul, Korea, November 27-28, 2003 : revised papers

Self-stabilizing systems : 6th international symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003 : proceedings

Information security and privacy : 8th Australasian conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003 : proceedings

Selected areas in cryptography : 10th annual international workshop, SAC 2003, Ottawa, Canada, August 14-15, 2003 : revised papers
Yazar:: Zuccherato, Robert J., 1969-

Advances in cryptology - EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14 18, 2000 : proceedings

Information security applications : 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003 : revised papers

Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 22-26, 1992 : proceedings

Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

Distributed computing : 17th international conference, DISC 2003, Sorrento, Italy, October 1-3, 2003 : proceedings

Distributed computing : 14th International Conference, DISC 2000 Toledo, Spain, October 4 6, 2000 : proceedings

Job scheduling strategies for parallel processing : 9th international workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003 : revised papers

Advances in cryptology - ASIACRYPT 2004 : 10th international conference on the theory and application of cryptology and information security, Jeju Island, Korea, December 5-9, 2004 : proceedings
Yazar:: Lee, Pil Joong

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales