close
1.

図書

図書
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c2002  ix, 388 p. ill. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2295
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Ésik
Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter ; G. Gottlob ; T. Schwentick
Decision Questions on Integer Matrices / T. Harju
Some Petri Net Languages and Codes / M. Ito ; Y. Kunimoch
Words, Permutations, and Representations of Numbers / H. Prodinger
Proof Complexity of Pigeonhole Principles / A.A. Razborov
Words and Patterns / A. Restivo ; S. Salemi
A Short Introduction to Infinite Automata / W. Thomas
Contributions
The Power of One-Letter Rational Languages / T. Cachat
The Entropy of Lukasiewicz-Languages / L. Staiger
Collapsing Words vs. Synchronizing Words / D.S. Ananichev ; M.V. Volkov
A Note on Synchronized Automata and Road Coloring Problem / K. Culik ; J. Karhumäki ; J. Kari
Shuffle Quotient and Decompositions / C. Câmpeanu ; K. Salomaa ; S. Vágvölgyi
The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages / G. Niemann ; J.R. Woinowski
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable / D. Kuske
Automata on Series-Parallel Biposets / Z.L. Németh
Hierarchies of String Languages Generated by Deterministic Tree Transducers / J. Engelfriet ; S. Maneth
Partially-Ordered Two-Way Automata: A New Characterization of DA / D. Thérien ; H. Vollmer
Level 5/2 of the Straubing-Therien Hierarchy for Two-Letter Alphabets / C. Glaβer ; H. Schmitz
On the Power of Randomized Pushdown Automata / J. Hromkovič ; G. Schnitger
The Root of a Language and Its Complexity / G. Lischke
Valuated and Valence Grammars: An Algebraic View / H. Fernau ; R. Stiebe
Context-Free Valence Grammars - Revisited / H.J. Hoogeboom
An Undecidability Result Concerning Periodic Morphisms / V. Halava
A Universal Turing Machine with 3 States and 9 Symbols / M. Kudlek ; Y. Rogozhin
Minimal Covers of Formal Languages / M. Domaratzki ; J. Shallit ; S. Yu
Some Regular Languages That Are Church-Rosser Congruential / J. Waldmann
On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy / M. Beaudry ; M. Holzer ; F. Otto
Forbidden Factors and Fragment Assembly / F. Mignosi ; M. Sciortino
Parallel Communicating Grammar Systems with Incomplete Information Communication / E. Csuhaj-Varjú ; G. Vaszil
Eliminating Communication by Parallel Rewriting / B. Rovan ; M. SlaÜt'an
String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosík ; R. Freund
Author Index
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
2.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  viii, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2128
所蔵情報: loading…
3.

図書

図書
Cristian S. Calude ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  viii, 358 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2235
所蔵情報: loading…
4.

図書

図書
Wilfried Brauer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xxxvi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2300
所蔵情報: loading…
目次情報: 続きを見る
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I:
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids / Volker Diekert ; Paul Gastin
The Delta Operation: From Strings to Trees to Strings / Joost Engelfriet
Infinite Solutions of Marked Post Correspondence Problem / Vesa Halava ; Tero Harju
The Branching Point Approach to ConwayÆs Problem / Juhani Karhumaki ; Ion Petre
A Survey of Some Quantitative Approaches to the Notion of Information / Aldo de Luca
Nondeterministic Trajectories / Alexandru Mateescu ; Arto Salomaa
Binary Patterns in Infinite Binary Words / Antonio Restivo ; Sergio Salemi
Graph Transformations / II:
A Sight-seeing Tour of the Computational Landscape of Graph Transformation / Hans-Jörg Kreowski
Local Action Systems and DPO Graph Transformation / DirkJanssens
Bisimulation Equivalences for Graph Grammars / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Petri Nets / III:
High-Level Net Processes / Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg ; Reiko Heckel
Petri Net Control for Grammar Systems / Maurice ter Beek ; Jetty Kleijn
Regular Event Structures and Finite Petri Nets: A Conjecture / P.S. Thiagarajan
Concurrent Computing / IV:
Towards Team-Automata-Driven Object-Oriented Collaborative Work / Gregor Engels ; LuukGroenewegen
Grammars as Processes / Javier Esparza
Temporal Concurrent Constraint Programming: Applications and Behavior / Mogens Nielsen ; FrankD. Valencia
Molecular Computing / V:
Rewriting P Systems with Conditional Communication / Paolo Bottoni ; Anna Labella ; Carlos Martín-Vide ; Gheorghe Paun
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation / Tom Head
Upper Bounds for Restricted Splicing / HendrikJan Hoogeboom ; Nikè van Vugt
Codes, Involutions, and DNA Encodings / Lila Kari ; Rob Kitto ; Gabriel Thierrin
DNA Manipulations in Ciliates / David M. Prescott
A Magic Pot Self-assembly Computation Revisited / Takashi Yokomori ; Yasubumi Sakakibara ; Satoshi Kobayashi
Author Index
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I:
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
5.

図書

図書
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001  viii, 537 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2001
所蔵情報: loading…
目次情報: 続きを見る
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio
Concurrency in Communicating Object Petri Nets / R. Valk
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II:
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III:
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht
Flexible Types for a Concurrent Model / F. Puntigam
High Level Transition Systems for Communicating Agents / F. Vernadat ; P. Azéma
Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets / L. Nigro ; F. Pupo
Control Properties in Object-Oriented Specifications / A. Diagne
Case Studies / Section IV:
A Cooperative Petri Net Editor
The Hurried Philosophers
Author Index
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
6.

図書

図書
Anne Condon, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001  x, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2054
所蔵情報: loading…
目次情報: 続きを見る
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
Diophantine Equations and Splicing: A New Demonstration of the Generative Capability of H Systems / Pierluigi Frisco
About Time-Varying Distributed H Systems / Maurice Margenstern ; Yurii Rogozhin
String Tile Models for DNA Computing by Self-Assembly / Erik Winfree ; Tony Eng ; Grzegorz Rozenberg
From Molecular Computing to Molecular Programming
Graph Replacement Chemistry for DNA Processing / John S. McCaskill ; Ulrich Niemann
DNA and Circular Splicing / Paola Bonizzoni ; Clelia De Felice ; Giancarlo Mauri ; Rosalba Zizza
Molecular Computing with Generalized Homogeneous P-Systems / Rudolf Freund ; Franziska Freund
Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization / John H. Reif ; Thomas H. LaBean
Challenges and Applications for Self-Assembled DNA Nanostructures / Nadrian C. Seeman
A Space-Efficient Randomized DNA Algorithm for k-Sat / Kevin Chen ; Vijay Ramachandran
A DNA-Based Random Walk Method for Solving k-SAT / iaz ; Juan Luis Esteban ; Mitsunori Ogihara
Solving Computational Learning Problems of Boolean Formulae on DNA Computers / Yasubumi Sakakibara
The Fidelity of Annealing-Ligation: A Theoretical Analysis / John A. Rose ; Russell J. Deaton
DNA Implementation of a Royal Road Fitness Evaluation / Elizabeth Goode ; David Harlan Wood ; Junghuei Chen
Steady Flow Micro-Reactor Module for Pipelined DNA Computations / Jöhn S. McCaskill ; Robert Penchovsky ; Marlies Gohlke ; Jorg Ackermann ; Thomas Rücker
Author Index
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
7.

図書

図書
Rudolf Freund ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  ix, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3850
所蔵情報: loading…
8.

図書

図書
Giancarlo Mauri ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  ix, 413 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3365
所蔵情報: loading…
9.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
Workshop on Petri Nets and Graph Transformations
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
10.

図書

図書
A. Ehrenfeucht, T. Harju, G. Rozenberg
出版情報: Singapore : World Scientific, c1999  xvi, 290 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminaries / Chapter 1:
Notations / 1.1:
Sets and functions / 1.1.1:
Closure operators / 1.1.2:
Relations / 1.1.3:
Equivalence relations / 1.1.4:
Partial orders / 1.2:
Downsets / 1.2.1:
Order embeddings / 1.2.2:
Linear orders / 1.2.3:
Semigroups and groups / 1.3:
Notations for semigroups and monoids / 1.3.1:
Free monoids (with involution) / 1.3.2:
Preliminaries on groups / 1.3.3:
Group actions / 1.3.4:
Free groups, commutators and verbal identities / 1.3.5:
Graph Theoretical Preliminaries / Chapter 2:
Directed and Undirected Graphs / 2.1:
Basic notions / 2.1.1:
Connectivity of graphs / 2.1.2:
Some special graphs / 2.1.3:
Comparability graphs / 2.2:
Transitively oriented graphs / 2.2.1:
Permutation graphs and cographs / 2.2.2:
Construction trees of cographs / 2.2.3:
2-Structures and Their Clans / Chapter 3:
Introduction and representations / 3.1:
Definition of a 2-structure / 3.1.1:
Isomorphic 2-structures / 3.1.2:
Reversibility / 3.1.3:
Substructures and clans / 3.2:
Substructures, clans and factors / 3.2.1:
Refinements and similarity / 3.2.2:
Reversible version / 3.2.3:
Graphs and packed components / 3.2.4:
Some special 2-structures / 3.2.5:
Closure properties of clans / 3.3:
Basic closures / 3.3.1:
Sibas: set theoretic closure properties / 3.3.2:
Clans of factors / 3.3.3:
Prime clans / 3.4:
Prime members in sibas / 3.4.1:
Minimal overlapping clans / 3.4.2:
Quotients and Homomorphisms / Chapter 4:
Quotients / 4.1:
Factorizations and quotients / 4.1.1:
Homomorphisms / 4.1.2:
Natural epimorphisms and decompositions / 4.1.3:
Clans and epimorphisms / 4.2:
Homomorphism theorem / 4.2.1:
Prime clans in quotients / 4.2.2:
Primitive quotients / 4.2.3:
Other operations / 4.3:
Premorphisms / 4.3.1:
Extensions / 4.3.2:
Clan Decomposition / Chapter 5:
The clan decomposition theorem / 5.1:
Maximal prime clans / 5.1.1:
Special sibas and 2-structures / 5.1.2:
The relationship of sibas to 2-structures / 5.1.3:
The shape of a 2-structure / 5.2:
The shape and its representation as a tree / 5.2.1:
Same shapes / 5.2.2:
A construction of prime clans / 5.3:
A construction of clans / 5.3.1:
Primitive 2-Structures / 5.3.2:
Small primitive substructures / 6.1:
Uniformly imprimitive 2-structures / 6.1.1:
Primitive substructures of 3 or 4 nodes / 6.1.2:
Hereditary properties / 6.2:
Local and global nodes / 6.2.1:
Critically primitive 2-structures / 6.2.2:
The parity theorem / 6.3.1:
The list of critically primitive 2-structures / 6.3.2:
Angular 2-Structures / Chapter 7:
Angularity / 7.1:
All-connectivity / 7.1.1:
All-connected skew angular 2-structures / 7.1.2:
T-structures / 7.2:
T-structures and partial orders / 7.2.1:
T[subscript 2]-structures / 7.2.2:
Linear orders and Schroder numbers / 7.3:
Bi-orders and linear orders / 7.3.1:
Uniformly imprimitive linear orders / 7.3.2:
Parenthesis words and Schroder numbers / 7.3.3:
Labelled 2-Structures / Chapter 8:
Introduction to l2-structures / 8.1:
Definitions / 8.1.1:
Substructures, clans and quotients / 8.1.2:
Clan decomposition of l2-structures / 8.2:
Uniqueness of decompositions / 8.2.1:
The shape of an l2-structure / 8.2.2:
Graphs and their representations / 8.2.3:
Graphs as l2-structures / 8.3.1:
On comparability graphs / 8.3.2:
Unstable Labelled 2-Structures / Chapter 9:
Triangle free and unstable l2-structures / 9.1:
Removable edges / 9.1.1:
Internal and external nodes / 9.1.2:
Triangle-free l2-structures / 9.1.3:
Heredity in unstable l2-structures / 9.2:
The partition of nodes / 9.2.1:
Alternating structures / 9.2.2:
Degrees of nodes / 9.2.3:
A composition of unstable l2-structures / 9.3:
A constructive reduction of primitive l2-structures / 9.3.1:
Pendant components / 9.3.2:
Automorphisms of Labelled 2-Structures / Chapter 10:
Label preserving automorphisms / 10.1:
The l-automorphism groups / 10.1.1:
Transitivity / 10.1.2:
Automorphic actions on factors / 10.1.3:
Universality of l-automorphism groups / 10.1.4:
Nonpreserving automorphisms / 10.2:
Connections to l-automorphisms / 10.2.1:
Transitivity and associated permutations / 10.2.2:
Representing labels by automorphisms / 10.2.3:
Switching of Graphs / Chapter 11:
Introduction to switching / 11.1:
The group of graphs / 11.1.1:
Switching classes / 11.1.3:
Structural properties of switching classes / 11.2:
A local characterization / 11.2.1:
Automorphisms / 11.2.2:
Special problems on undirected graphs / 11.3:
Two-graphs / 11.3.1:
Eulerian graphs / 11.3.2:
Pancyclic graphs / 11.3.3:
Trees / 11.3.4:
Labelled Structures over Groups / Chapter 12:
Introduction / 12.1:
Groups and involutions / 12.1.1:
Selectors and switching classes / 12.1.2:
An interpretation in networks / 12.2:
Concurrent behaviour in networks / 12.2.1:
Reducing the actions to groups / 12.2.2:
Introducing reversibility / 12.2.3:
Examples for some special groups / 12.3:
The cyclic groups Z[subscript 3] and Z[subscript 4] / 12.3.1:
The symmetric group S[subscript 3] / 12.3.2:
Clans of Switching Classes / Chapter 13:
Associated groups / 13.1:
The group of selectors / 13.1.1:
The group of abelian switching classes / 13.1.2:
Clans and horizons / 13.2:
Spanning trees / 13.2.1:
Horizons and constant selectors / 13.2.2:
Clans / 13.2.3:
Cardinalities of switching classes / 13.3:
Some special cases / 13.3.1:
Centralizers / 13.3.2:
Some improvements / 13.3.3:
Quotients and Plane Trees / Chapter 14:
Quotients of switching classes / 14.1:
Planes and plane trees / 14.1.1:
Planes / 14.2.1:
Plane trees / 14.2.2:
Bijective correspondence of plane trees / 14.2.3:
Forms / 14.2.4:
Invariants / Chapter 15:
Free invariants / 15.1:
General invariants / 15.1.1:
Edge monoids / 15.1.2:
Variable functions and free invariants / 15.1.3:
Group properties of free invariants / 15.2:
Abelian property / 15.2.1:
Graphs of words / 15.2.2:
Verbal identities / 15.2.3:
Invariants on abelian groups / 15.3:
Independency of free invariants / 15.3.1:
Complete sets of invariants / 15.3.2:
Invariants on nonabelian groups / 15.4:
General observations / 15.4.1:
Central characters / 15.4.2:
A characterization theorem / 15.4.3:
Bibliography
Index
Preface
Preliminaries / Chapter 1:
Notations / 1.1:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼