Graph-grammars and their application to computer science : :: SCD d'Orléans

Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986

Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986

The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have int...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International workshop on Graph grammars and their application to computer science :Warrenton
Altri autori:	Nagl, Manfred, 1944- (Direttore editoriale), Ehrig, Hartmut, 1944- (Direttore editoriale), Rozenberg, Grzegorz, 1942- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 291
Soggetti:	Génie logiciel Informatique Ordinateurs Logique symbolique et mathématique Médecine > Informatique Perception des structures Grammaires de graphes Biologie > Informatique Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Graph-grammars and their application to computer science, 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986, [proceedings], H. Ehrig ... [et al.] (eds.), Berlin, Springer-Verlag, 1987, 1 vol. (VIII-609 p.), Lecture notes in computer science, 0-387-18771-5 • Graph-Grammars and Their Application to Computer Science, Texte imprimé, 9783540187714 • Graph-Grammars and Their Application to Computer Science, Texte imprimé, 9783662182031

Documenti analoghi

Graph-grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings

Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1995 : selected papers

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
di: Schneider, Hans Jürgen, 1937-

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

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

Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings

Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings

Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30 - November 3, 1978

Theory and application of graph transformations : 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998 : selected papers

Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 : "under the auspices of the European Association for Theoretical Computer Science"

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
di: Ehrig, Hartmut, 1944-

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development I and Colloquium on trees in algebra and programming (CAAP '87)

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12 16, 1988 : proceedings

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings : FST and TCS 10

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Efficient graph rewriting and its implementation
di: Dörr, Heiko, 19..-

Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings : FST and TCS 6

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Attribute grammars : definitions, systems, and bibliography
di: Deransart, Pierre, 1945-...., informaticien, et al.

Graph-theoretic concepts in computer science : 21st International Workshop, WG '95, Aachen, Germany, June 20 22, 1995 : proceedings

Concurrency and hardware design : advances in Petri nets
di: Cortadella, Jordi, 1962-

Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings
di: Mayr, Ernst W., 1950-

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
di: Bruynooghe, Maurice

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Pubblicazione: (2015)

Hyperedge replacement : grammars and languages
di: Habel, Annegret, 19..-

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings

Graph drawing : DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10 12, 1994 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

The Munich project CIP. the wide spectrum language CIP-L
di: Bauer, Friedrich Ludwig, 1924-2015, et al.

Algebraic and coalgebraic methods in the mathematics of program construction : international Summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29 October 1, 1986

© 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