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

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 : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings

This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scienti...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International workshop on Graph grammars and their application to computer science :Brême
Weitere Verfasser:	Kreowski, Hans-Jörg (Verlagsleitung), Ehrig, Hartmut, 1944- (Verlagsleitung), Rozenberg, Grzegorz, 1942- (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science 532
Schlagworte:	Génie logiciel Informatique Théorie des graphes Intelligence artificielle Logique symbolique et mathématique Perception des structures Grammaires de graphes Bioinformatique Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	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, 4th International Workshop, Bremen, Germany, March 5-9, 1990, proceedings, H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (X-703 p.), Lecture notes in computer science, 0-387-54478-X • Graph Grammars and Their Application to Computer Science, Texte imprimé, 9783662188453

Ähnliche Einträge

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

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

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

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

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

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

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

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-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30 - November 3, 1978

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

The strange logic of random graphs
von: Spencer, Joel H., 1946-
Veröffentlicht: (2001)

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)

The logic system of concept graphs with negation : and its relationship to predicate logic
von: Dau, Frithjof

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

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

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

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

Graph drawing : 6th international symposium, GD '98, Montréal, Canada, August 13-15, 1998 : proceedings

Graph-theoretic concepts in computer science : 16th international workshop WG'90, Berlin, Germany, June 20-22, 1990 : proceedings

Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17 19 1991 : proceedings

Graph drawing : Symposium on Graph Drawing, GD '95, Passau, Germany, September 20 22, 1995 : proceedings

Les graphes et leurs applications
von: Ore, Oystein, 1899-1968
Veröffentlicht: (1970)

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

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

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

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings

Formal and natural computing : essays dedicated to Grzegorz Rozenberg
von: Brauer, Wilfried, 1937-2014

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003 : proceedings

Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings

Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers

Rainbow connections of graphs
von: Li, Xueliang

Graph-theoretic concepts in computer science : 20th International Workshop, WG '94, Herrsching, Germany, June 16 18, 1994 : proceedings

Graph theory with applications
von: Bondy, John Adrian, 1944-...., mathématicien, et al.
Veröffentlicht: (1976)

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings

© 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