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...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
532 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
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 |
| LEADER | 06773nam a22004817a 4500 | ||
|---|---|---|---|
| 001 | 969245 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155170309 | ||
| 020 | |a 9783540383956 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511.3 | ||
| 111 | 2 | |a International workshop on Graph grammars and their application to computer science |n (04 |d :1990 |c :Brême). | |
| 245 | 1 | 0 | |a Graph-grammars and their application to computer science : |b 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings |c [edited by] H. Ehrig, H.-J. Kreowski, G. Rozenberg. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 532 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A note on hyperedge replacement -- Graph grammars based on node rewriting: an introduction to NLC graph grammars -- Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts -- The logical expression of graph properties -- Panel discussion: The use of graph grammars in applications -- GraphEd: An interactive tool for developing graph grammars -- Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENviroment -- Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems -- PLEXUS: Tools for analyzing graph grammars -- An algebraic theory of graph reduction -- Programming with very large graphs -- Describing Göttler's operational graph grammars with pushouts -- General solution to a system of recursive equations on hypergraphs -- Construction of map OL-systems for developmental sequences of plant cell layers -- Layout graph grammars: The placement approach -- Cycle chain code picture languages -- An efficient implementation of graph grammars based on the RETE matching algorithm -- An application of graph grammars to the elimination of redundancy from functions defined by schemes -- Graphic equivalence and computer optimization -- Graph grammars and logic programming -- Graphs as relational structures : An algebraic and logical approach -- Context-free handle-rewriting hypergraph grammars -- From graph grammars to high level replacement systems -- Algebraic specification grammars: A junction between module specifications and graph grammars -- A characterization of context-free NCE graph languages by monadic second-order logic on trees -- The term generating power of context-free hypergraph grammars -- Elementary actions on an extended entity-relationship database.-Physically-based graphical interpretation of marker cellwork L-systems -- Dactl: An experimental graph rewriting language -- Use graph grammars to design CAD-systems ! -- Collage grammars -- The four musicians: analogies and expert systems a graphic approach -- Structured transformations and computation graphs for actor grammars -- Grammatical inference based on hyperedge replacement -- Specifying concurrent languages and systems with ?-grammars -- Graph rewriting in some categories of partial morphisms -- Application of graph grammars to rule-based systems -- Tree automata, tree decomposition and hyperedge replacement -- Recognizing rooted context-free flowgraph languages in polynomial time -- Computing with graph relabelling systems with priorities -- Double-wall cellwork systems for plant meristems -- Programmed derivations of relational structures -- A specification environment for graph grammars -- The theory of graphoids: A survey -- Graph-reducible term rewriting systems -- A note on graph decimation -- Progress: A VHL-language based on graph grammars -- Movement of objects in configuration spaces modelled by graph grammars -- Recognizing edge replacement graph languages in cubic time -- Computing by graph transformation: Overall aims and new results. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G/ttler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Théorie des graphes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Perception des structures | ||
| 650 | |a Grammaires de graphes | ||
| 650 | |a Bioinformatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Kreowski, Hans-Jörg. |4 pbd | |
| 700 | 1 | |a Ehrig, Hartmut, |d 1944- |4 pbd | |
| 700 | 1 | |a Rozenberg, Grzegorz, |d 1942- |4 pbd | |
| 776 | 0 | |0 022307672 |t Graph-grammars and their application to computer science |o 4th International Workshop, Bremen, Germany, March 5-9, 1990 |o proceedings |f H. Ehrig, H.-J. Kreowski, G. Rozenberg (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (X-703 p.) |s Lecture notes in computer science |z 0-387-54478-X | |
| 776 | 0 | |t Graph Grammars and Their Application to Computer Science |b Texte imprimé |z 9783662188453 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0017372 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-P4LKCPT6-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:75067606X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0017372 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754024466 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0017372 |z Accès INSA CVL | |
| 997 | |0 969245 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||